Conference item
Hitting families of schedules for asynchronous programs
- Abstract:
-
Asynchronous programming is a ubiquitous idiom for concurrent programming, where sequential units of code, called events, are scheduled and run atomically by a scheduler. While running, an event can post additional events for future execution by the scheduler. Asynchronous programs can have subtle bugs due to the non-deterministic scheduling of events, and a lot of recent research has focused on systematic testing of these programs.
Empirically, many bugs in asynchronous progr...
Expand abstract
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Preview, Accepted manuscript, pdf, 323.5KB, Terms of use)
-
- Publisher copy:
- 10.1007/978-3-319-41540-6_9
Authors
Bibliographic Details
- Publisher:
- Springer
- Journal:
- International Conference on Computer-Aided Verification More from this journal
- Volume:
- 9780
- Pages:
- 157-176
- Publication date:
- 2016-07-01
- Acceptance date:
- 2016-04-15
- Event title:
- International Conference on Computer-Aided Verification
- DOI:
Item Description
Terms of use
- Copyright holder:
- Springer International Publishing Switzerland
- Copyright date:
- 2016
- Notes:
- © Springer International Publishing Switzerland 2016
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record