Diego Novillo (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Steve MacDonald, Jun Chen, Diego Novillo: Deterministically Executing Concurrent Programs for Testing and Debugging. Software Engineering Research and Practice 2006: 844-850

5 Steve MacDonald, Jun Chen, Diego Novillo: Choosing Among Alternative Futures. Haifa Verification Conference 2005: 247-264

Selection of 2 from 6 records - Diego Novillo has 8 coauthors

6		Steve MacDonald, Jun Chen, Diego Novillo: Deterministically Executing Concurrent Programs for Testing and Debugging. Software Engineering Research and Practice 2006: 844-850
5		Steve MacDonald, Jun Chen, Diego Novillo: Choosing Among Alternative Futures. Haifa Verification Conference 2005: 247-264