Proceedings of the 19th international symposium on Software testing and analysis - ISSTA '10
Latest Publications

TOTAL DOCUMENTS

26
(FIVE YEARS 0)

H-INDEX

19
(FIVE YEARS 0)

Published By ACM Press

9781605588230
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Analysis of invariants for efficient bounded verification

2010 ◽  
Author(s):  
Juan Pablo Galeotti ◽  
Nicolás Rosner ◽  
Carlos Gustavo López Pombo ◽  
Marcelo Fabian Frias

N-version disassembly

2010 ◽  
Author(s):  
Roberto Paleari ◽  
Lorenzo Martignoni ◽  
Giampaolo Fresi Roglia ◽  
Danilo Bruschi

Testing system virtual machines

2010 ◽  
Author(s):  
Lorenzo Martignoni ◽  
Roberto Paleari ◽  
Giampaolo Fresi Roglia ◽  
Danilo Bruschi
Keyword(s):  
Virtual Machines ◽  
Testing System
Load More ...
Sign in / Sign up

Export Citation Format

Share Document