Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
ACM SIGPLAN Notices
Journal
Overview
Identifiers
View All
Overview
publication venue for
2ndStrike: toward manifesting hidden concurrency typestate bugs
. 47:239-250.
2012
2ndStrike: Toward Manifesting Hidden Concurrency Typestate Bugs
. 46:239-250.
2011
Modeling Virtualized Applications using Machine Learning Techniques
2012
Identifiers
International Standard Serial Number (ISSN)
0362-1340
Electronic International Standard Serial Number (EISSN)
1558-1160