Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications - OOPSLA '14
Latest Publications

TOTAL DOCUMENTS

65
(FIVE YEARS 0)

H-INDEX

18
(FIVE YEARS 0)

Published By ACM Press

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

Bounded exhaustive test input generation from hybrid invariants

2014 ◽  
Author(s):  
Nicolás Rosner ◽  
Valeria Bengolea ◽  
Pablo Ponzio ◽  
Shadi Abdul Khalek ◽  
Nazareno Aguirre ◽  
...  
Keyword(s):  
Test Input

scholarly journals Chisel

2014 ◽  
Author(s):  
Sasa Misailovic ◽  
Michael Carbin ◽  
Sara Achour ◽  
Zichao Qi ◽  
Martin C. Rinard
Load More ...
Sign in / Sign up

Export Citation Format

Share Document