Postdoc position in software testing

Research Associate in Software Testing

We are looking for a post-doctoral software engineering researcher to
work on developing techniques to address the oracle problem in
automated software test generation. This position is a fixed term appointment for 2 years, and it is funded by the EPSRC through the EXOGEN and RECOST projects. The closing date is 19 August 2013.

For more information about the job and how to apply, please check out the details or visit: http://www.shef.ac.uk/jobs/

GECCO 2013: Test Suite Generation with Memetic Algorithms

  • G. Fraser, A. Arcuri, and P. McMinn, “Test Suite Generation with Memetic Algorithms,” in Genetic and Evolutionary Computation Conference (GECCO 2013), 2013.
    [Bibtex]
    @inproceedings{GECCO13_memetic,
      author = {Gordon Fraser and Andrea Arcuri and Phil McMinn},
      title = {Test Suite Generation with Memetic Algorithms},
      booktitle = {Genetic and Evolutionary Computation Conference (GECCO 2013)},
      year = {2013},
      note = {To appear}
    }

TAP 2013: Generating Test Suites with Augmented Dynamic Symbolic Execution

  • [DOI] K. Jamrozik, G. Fraser, N. Tillman, and J. Halleux, “Generating Test Suites with Augmented Dynamic Symbolic Execution,” in Tests and Proofs, 2013, pp. 152-167.
    [Bibtex]
    @inproceedings{TAP13_APex, 
      year={2013},
      booktitle={Tests and Proofs},
      volume={7942},
      series={Lecture Notes in Computer Science},
      editor={Veanes, Margus and Viganò, Luca},
      doi={10.1007/978-3-642-38916-0_9},
      title={Generating Test Suites with Augmented Dynamic Symbolic Execution},
      publisher={Springer Berlin Heidelberg},
      author={Jamrozik, Konrad and Fraser, Gordon and Tillman, Nikolai and Halleux, Jonathan},
      pages={152-167}
    }

ISSTA 2013: Does Automated White-Box Test Generation Really Help Software Testers?

  • G. Fraser, M. Staats, P. McMinn, A. Arcuri, and F. Padberg, “Does Automated White-Box Test Generation Really Help Software Testers?,” in Proceedings of the 2013 International Symposium on Software Testing and Analysis, New York, NY, USA, 2013.
    [Bibtex]
    @inproceedings{ISSTA13_Study,
     author = {Gordon Fraser and Matt Staats and Phil McMinn and Andrea Arcuri and Frank Padberg},
     title = {Does Automated White-Box Test Generation Really Help Software Testers?},
     booktitle = {Proceedings of the 2013 International Symposium on Software Testing and Analysis},
     series = {ISSTA '13},
     year = {2013},
     publisher = {ACM},
     address = {New York, NY, USA},
    }

Parameter tuning or default values? An empirical investigation in search-based software engineering

  • [DOI] A. Arcuri and G. Fraser, “Parameter tuning or default values? An empirical investigation in search-based software engineering,” Empirical Software Engineering, 2013.
    [Bibtex]
    @article{Tuning13,
    year={2013},
    issn={1382-3256},
    journal={Empirical Software Engineering},
    doi={10.1007/s10664-013-9249-9},
    title={Parameter tuning or default values? An empirical investigation in search-based software engineering},
    url={http://dx.doi.org/10.1007/s10664-013-9249-9},
    publisher={Springer US},
    keywords={Search-based software engineering; Test data generation; Object-oriented; Unit testing; Tuning; EvoSuite; Java; Response surface; Design of experiments},
    author={Arcuri, Andrea and Fraser, Gordon},
    language={English}
    }

Reconstructing Core Dumps

  • J. Rößler, A. Zeller, G. Fraser, C. Zamfir, and G. Candea, “Reconstructing Core Dumps,” in ICST’13: Proceedings of the 6th International Conference on Software Testing, Verification and Validation, 2013.
    [Bibtex]
    @inproceedings{ICST13_ReCore,
       AUTHOR="Jeremias R\"o\ss{}ler and Andreas Zeller and Gordon Fraser and Cristian Zamfir and George Candea",
       TITLE="Reconstructing Core Dumps",
       booktitle = {ICST'13: Proceedings of the 6th International Conference on Software Testing, Verification and Validation},
       publisher = {IEEE Computer Society},
       YEAR="2013",
       note = {To appear}
    }

Generating Unit Tests for Concurrent Classes

  • S. Steenbuck and G. Fraser, “Generating Unit Tests for Concurrent Classes,” in ICST’13: Proceedings of the 6th International Conference on Software Testing, Verification and Validation, 2013.
    [Bibtex]
    @inproceedings{ICST13_ConSuite,
       AUTHOR="Sebastian Steenbuck and Gordon Fraser",
       TITLE="Generating Unit Tests for Concurrent Classes",
       booktitle = {ICST'13: Proceedings of the 6th International Conference on Software Testing, Verification and Validation},
       publisher = {IEEE Computer Society},
       YEAR="2013",
       note = {To appear}
    }

CrowdOracles: Can the Crowd Solve the Oracle Problem?

  • F. Pastore, L. Mariani, and G. Fraser, “CrowdOracles: Can the Crowd Solve the Oracle Problem?,” in ICST’13: Proceedings of the 6th International Conference on Software Testing, Verification and Validation, 2013.
    [Bibtex]
    @inproceedings{ICST13_Crowd,
       AUTHOR="Fabrizio Pastore and Leonardo Mariani and Gordon Fraser",
       TITLE="CrowdOracles: Can the Crowd Solve the Oracle Problem?",
       booktitle = {ICST'13: Proceedings of the 6th International Conference on Software Testing, Verification and Validation},
       publisher = {IEEE Computer Society},
       YEAR="2013",
       note = {To appear}
    }