2012 IEEE Fifth International Conference on Software Testing, Verification and Validation
Latest Publications

TOTAL DOCUMENTS

162
(FIVE YEARS 0)

H-INDEX

20
(FIVE YEARS 0)

Published By IEEE

9780769546704, 9781457719066
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Model-Based Test for AUTOSAR Multicore RTOS

2012 ◽  
Author(s):  
Ling Fang ◽  
Takashi Kitamura ◽  
Thi Bich Ngoc Do ◽  
Hitoshi Ohsaki
Keyword(s):  
Formal Model ◽  
Model Based

A Testing Model for Dynamic Malware Analysis Systems

2012 ◽  
Author(s):  
Frederic Massicotte ◽  
Mathieu Couture ◽  
Hugues Normandin ◽  
Frederic Michaud
Keyword(s):  
Malware Analysis ◽  
Testing Model
Load More ...
Sign in / Sign up

Export Citation Format

Share Document