Model checking software (San Francisco CA, 22-24 August 2005)Godefroid, Patrice.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28195-9, XI, 287 p, isbn 3-540-28195-9Conference Proceedings

Software model checking : Searching for computations in the abstract or the concreteGODEFROID, Patrice; KLARLUND, Nils.Lecture notes in computer science. 2005, pp 20-32, issn 0302-9743, isbn 3-540-30492-4, 1Vol, 13 p.Conference Paper

Higher-Order Test GenerationGODEFROID, Patrice.ACM SIGPLAN notices. 2011, Vol 46, Num 6, pp 258-269, issn 1523-2867, 12 p.Conference Paper

Exploring very large state spaces using genetic algorithmsGODEFROID, Patrice; KHURSHID, Sarfraz.International journal on software tools for technology transfer (Print). 2004, Vol 6, Num 2, pp 117-127, issn 1433-2779, 11 p.Conference Paper

Crafting a promela front-end with abstract data types to mitigate the sensitivity of (Compositional) analysis to implementation choicesCHENG, Yung-Pin.Lecture notes in computer science. 2005, pp 139-153, issn 0302-9743, isbn 3-540-28195-9, 15 p.Conference Paper

SAGE: Whitebox Fuzzing for Security TestingGODEFROID, Patrice; LEVIN, Michael Y; MOLNAR, David et al.Communications of the ACM. 2012, Vol 55, Num 3, pp 40-44, issn 0001-0782, 5 p.Article

Reasoning about abstract open systems with generalized module checkingGODEFROID, Patrice.Lecture notes in computer science. 2003, pp 223-240, issn 0302-9743, isbn 3-540-20223-4, 18 p.Conference Paper

Enhanced probabilistic verification with 3Spin and 3MurphiDILLINGER, Peter C; MANOLIOS, Panagiotis.Lecture notes in computer science. 2005, pp 272-276, issn 0302-9743, isbn 3-540-28195-9, 5 p.Conference Paper

Using SPIN and eclipse for optimized high-level modeling and analysis of computer network attack modelsROTHMAIER, Gerrit; KNEIPHOFF, Tobias; KRUMM, Heiko et al.Lecture notes in computer science. 2005, pp 236-250, issn 0302-9743, isbn 3-540-28195-9, 15 p.Conference Paper

Counterexample-based refinement for a boundedness test for CFSM languagesLEUE, Stefan; WEI WEI.Lecture notes in computer science. 2005, pp 58-74, issn 0302-9743, isbn 3-540-28195-9, 17 p.Conference Paper

Behavioural models for hierarchical componentsBARROS, Tomas; HENRIO, Ludovic; MADELAINE, Eric et al.Lecture notes in computer science. 2005, pp 154-168, issn 0302-9743, isbn 3-540-28195-9, 15 p.Conference Paper

SPLAT : A tool for model-checking and dynamically-enforcing abstractionsMADHAVAPEDDY, Anil; SCOTT, David; SHARP, Richard et al.Lecture notes in computer science. 2005, pp 277-281, issn 0302-9743, isbn 3-540-28195-9, 5 p.Conference Paper

Improving spin's partial-order reduction for breadth-first searchBOSNACKI, Dragan; HOLZMANN, Gerard J.Lecture notes in computer science. 2005, pp 91-105, issn 0302-9743, isbn 3-540-28195-9, 15 p.Conference Paper

Execution generated test cases : How to make systems code crash itselfCADAR, Cristian; ENGLER, Dawson.Lecture notes in computer science. 2005, pp 2-23, issn 0302-9743, isbn 3-540-28195-9, 22 p.Conference Paper

Memory efficient state space storage in explicit software model checkingEVANGELISTA, Sami; PRADAT-PEYRE, Jean-Francois.Lecture notes in computer science. 2005, pp 43-57, issn 0302-9743, isbn 3-540-28195-9, 15 p.Conference Paper

Stuttering congruence for XLUTTIK, Bas; TRCKA, Nikola.Lecture notes in computer science. 2005, pp 185-199, issn 0302-9743, isbn 3-540-28195-9, 15 p.Conference Paper

Symbolic model checking for asynchronous boolean programsCOOK, Byron; KROENING, Daniel; SHARYGINA, Natasha et al.Lecture notes in computer science. 2005, pp 75-90, issn 0302-9743, isbn 3-540-28195-9, 16 p.Conference Paper

An incremental heap canonicalization algorithmMUSUVATHI, Madanlal; DILL, David L.Lecture notes in computer science. 2005, pp 28-42, issn 0302-9743, isbn 3-540-28195-9, 15 p.Conference Paper

Model checking machine code with the GNU debuggerMERCER, Eric; JONES, Michael.Lecture notes in computer science. 2005, pp 251-265, issn 0302-9743, isbn 3-540-28195-9, 15 p.Conference Paper

ETCH : An enhanced type checking tool for promelaDONALDSON, Alastair F; GAY, Simon J.Lecture notes in computer science. 2005, pp 266-271, issn 0302-9743, isbn 3-540-28195-9, 6 p.Conference Paper

Learning-based assume-guarantee verification (tool paper)GIANNAKOPOULOU, Dimitra; PASAREANU, Corina S.Lecture notes in computer science. 2005, pp 282-287, issn 0302-9743, isbn 3-540-28195-9, 6 p.Conference Paper

DART : Directed automated random testingGODEFROID, Patrice; KLARLUND, Nils; SEN, Koushik et al.ACM SIGPLAN notices. 2005, Vol 40, Num 6, pp 213-223, issn 1523-2867, 11 p.Conference Paper

Automatic abstraction using generalized model checkingGODEFROID, Patrice; JAGADEESAN, Radha.Lecture notes in computer science. 2002, pp 137-150, issn 0302-9743, isbn 3-540-43997-8, 14 p.Conference Paper

LTL generalized model checking revisitedGODEFROID, Patrice; PITERMAN, Nir.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 6, pp 571-584, issn 1433-2779, 14 p.Article

Software model checking in practice: An industrial case studyCHANDRA, Satish; GODEFROID, Patrice; PALM, Christopher et al.Proceedings - International Conference on Software Engineering. 2002, pp 431-441, issn 0270-5257, isbn 1-58113-472-X, 11 p.Conference Paper