"Godefroid, Patrice" / Publisher: acm press - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Godefroid, Patrice"' showing total 6 results

Start Over "Godefroid, Patrice" Publisher acm press

6 results on '"Godefroid, Patrice"'

1. Software partitioning for effective automated unit testing

Author: Chakrabarti, Arindam, primary and Godefroid, Patrice, additional
Published: 2006
Full Text: View/download PDF

2. Software model checking in practice

Author: Chandra, Satish, primary, Godefroid, Patrice, additional, and Palm, Christopher, additional
Published: 2002
Full Text: View/download PDF

3. Automatically closing open reactive programs

Author: Colby, Christopher, primary, Godefroid, Patrice, additional, and Jagadeesan, Lalita Jategaonkar, additional
Published: 1998
Full Text: View/download PDF

4. Model checking without a model

Author: Godefroid, Patrice, primary, Hanmer, Robert S., additional, and Jagadeesan, Lalita Jategaonkar, additional
Published: 1998
Full Text: View/download PDF

5. Model checking for programming languages using VeriSoft

Author: Godefroid, Patrice, primary
Published: 1997
Full Text: View/download PDF

6. Using partial-order methods in the formal validation of industrial concurrent programs

Author: Godefroid, Patrice, primary, Peled, Doron, additional, and Staskauskas, Mark, additional
Published: 1996
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results