io-port.net

first | previous | 1 | next | last

Result 1 to 6 of 6 total

io-port 50036247 Ball, Thomas; Burckhardt, Sebastian; De Halleux, Peli; Musuvathi, Madan; Qadeer, Shaz

Predictable and progressive testing of multithreaded code (English)

IEEE Software 28, No. 3, 75-83 (2011).

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70025952 Veanes, Margus; De Halleux, Peli; Tillmann, Nikolai

Rex: symbolic regular expression explorer (English)

ICST, 498-507 (2010).

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05635803 Veanes, Margus; Grigorenko, Pavel; de Halleux, Peli; Tillmann, Nikolai

Symbolic query exploration. (English)

Breitman, Karin (ed.) et al., Formal methods and software engineering. 11th international conference on formal engineering methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9‒12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10372-8/pbk). Lecture Notes in Computer Science 5885, 49-68 (2009).

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70052012 Veanes, Margus; Grigorenko, Pavel; De Halleux, Peli; Tillmann, Nikolai

Symbolic query exploration (English)

ICFEM, 49-68 (2009).

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70924898 Barnett, Michael; Fähndrich, Manuel; De Halleux, Peli; Logozzo, Francesco; Tillmann, Nikolai

Exploiting the synergy between automated-test-generation and programming-by-contract (English)

ICSE Companion, 401-402 (2009).

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05335327 Godefroid, Patrice; De Halleux, Peli; Nori, Aditya V.; Rajamani, Sriram K.; Schulte, Wolfram; Tillmann, Nikolai; Levin, Michael Y.

Automating software testing using program analysis. (English)

IEEE Software 25, No. 05, 30-37 (2008).

PDF XML AMS-TeX TEXT BIBTeX DOI

first | previous | 1 | next | last

Result 1 to 6 of 6 total