Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015
Latest Publications

TOTAL DOCUMENTS

124
(FIVE YEARS 0)

H-INDEX

29
(FIVE YEARS 0)

Published By ACM Press

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

Assertion guided symbolic execution of multithreaded programs

2015 ◽  
Author(s):  
Shengjian Guo ◽  
Markus Kusano ◽  
Chao Wang ◽  
Zijiang Yang ◽  
Aarti Gupta
Keyword(s):  
Symbolic Execution ◽  
Multithreaded Programs

scholarly journals JSketch: sketching for Java

2015 ◽  
Author(s):  
Jinseong Jeon ◽  
Xiaokang Qiu ◽  
Jeffrey S. Foster ◽  
Armando Solar-Lezama

Predicting field reliability

2015 ◽  
Author(s):  
Pete Rotella ◽  
Sunita Chulani ◽  
Devesh Goyal
Keyword(s):  
Field Reliability
Load More ...
Sign in / Sign up

Export Citation Format

Share Document