sign in · help · news · about ·

BibSonomy :: author :: Halleux ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(38)

<< < 1 | 2 > >>

Precise identification of problems for structural test generation.
Xusheng Xiao, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux ICSE, page 611-620. ACM, (2011)
to dblp by dblp on Jan 28, 2012, 12:00 AM
URL | BibTeX
Covana: precise identification of problems in pex.
Xusheng Xiao, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux ICSE, page 1004-1006. ACM, (2011)
to dblp by dblp on Jan 28, 2012, 12:00 AM
URL | BibTeX
State Coverage: Software Validation Metrics beyond Code Coverage.
Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, and Frank Piessens SOFSEM, volume 7147 of Lecture Notes in Computer Science, page 542-553. Springer, (2012)
to dblp by dblp on Jan 17, 2012, 12:00 AM
URL | BibTeX
Fitness-guided path exploration in dynamic symbolic execution.
Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte DSN, page 359-368. IEEE, (2009)
to dblp by dblp on Dec 20, 2011, 12:00 AM
URL | BibTeX
Browser-based software for technology transfer.
Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, R. Nigel Horspool, Don Syme, and Tao Xie SAICSIT Conf., page 338-340. ACM, (2011)
to dblp by dblp on Dec 2, 2011, 12:00 AM
URL | BibTeX
Test generation via Dynamic Symbolic Execution for mutation testing.
Lingming Zhang, Tao Xie, Lu Zhang 0023, Nikolai Tillmann, Jonathan de Halleux, and Hong Mei ICSM, page 1-10. IEEE Computer Society, (2010)
to dblp by dblp on Nov 8, 2011, 12:00 AM
URL | BibTeX
Predictable and Progressive Testing of Multithreaded Code.
Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, and Shaz Qadeer IEEE Software 28(3):75-83 (2011)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Automating Software Testing Using Program Analysis.
Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, and Michael Y. Levin IEEE Software 25(5):30-37 (2008)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Synthesizing method sequences for high-coverage testing.
Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Zhendong Su OOPSLA, page 189-206. ACM, (2011)
to dblp by dblp on Oct 25, 2011, 12:00 AM
URL | BibTeX
eXpress: guided path exploration for efficient regression test generation.
Kunal Taneja, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux ISSTA, page 1-11. ACM, (2011)
to dblp by dblp on Aug 22, 2011, 12:00 AM
URL | BibTeX
Pex4Fun: Teaching and learning computer science via social gaming.
Nikolai Tillmann, Jonathan de Halleux, and Tao Xie CSEE&T, page 546-548. IEEE Computer Society, (2011)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
Retrofitting Unit Tests for Parameterized Unit Testing.
Suresh Thummalapenta, Madhuri R. Marri, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux FASE, volume 6603 of Lecture Notes in Computer Science, page 294-309. Springer, (2011)
to dblp by dblp on Mar 22, 2011, 12:00 AM
URL | BibTeX
Guided test generation for coverage criteria.
Rahul Pandita, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux ICSM, page 1-10. IEEE Computer Society, (2010)
to dblp by dblp on Feb 10, 2011, 12:00 AM
URL | BibTeX
Future of developer testing: building quality in code.
Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte FoSER, page 415-420. ACM, (2010)
to dblp by dblp on Jan 26, 2011, 12:00 AM
URL | BibTeX
Qex: Symbolic SQL Query Explorer.
Margus Veanes, Nikolai Tillmann, and Jonathan de Halleux LPAR Dakar, volume 6355 of Lecture Notes in Computer Science, page 425-446. Springer, (2010)
to dblp by dblp on Dec 23, 2010, 12:00 AM
URL | BibTeX
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution.
Kiran Lakhotia, Nikolai Tillmann, Mark Harman, and Jonathan de Halleux ICTSS, volume 6435 of Lecture Notes in Computer Science, page 142-157. Springer, (2010)
to dblp by dblp on Nov 10, 2010, 12:00 AM
URL | BibTeX
Automating Software Testing Using Program Analysis
Patrice Godefroid, Peli de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, and Michael Y. Levin IEEE Software 25(5):30-37 (2008)
to testing by liangzk on Oct 27, 2010, 3:35 AM
DOI | BibTeX
Teaching and training developer-testing techniques and tool support.
Tao Xie, Jonathan de Halleux, Nikolai Tillmann, and Wolfram Schulte SPLASH/OOPSLA Companion, page 175-182. ACM, (2010)
to dblp by dblp on Oct 27, 2010, 12:00 AM
URL | BibTeX
Rex: Symbolic Regular Expression Explorer.
Margus Veanes, Peli de Halleux, and Nikolai Tillmann ICST, page 498-507. IEEE Computer Society, (2010)
to dblp by dblp on Sep 13, 2010, 12:00 AM
URL | BibTeX
Parameterized Unit Testing with Pex: Tutorial.
Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte PSSE, volume 6153 of Lecture Notes in Computer Science, page 141-202. Springer, (2007)
to dblp by dblp on Jul 21, 2010, 4:04 PM
URL | BibTeX

<< < 1 | 2 > >>publications per page: 5 10 20 50 100

a gripper