Cited By
View all- Tillmann Nde Halleux JXie TCrnkovic IChechik MGrünbacher P(2014)Transferring an automated test generation tool to practiceProceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering10.1145/2642937.2642941(385-396)Online publication date: 15-Sep-2014
- Tillmann Nde Halleux JXie TBishop JPăsăreanu CMarinov D(2014)Constructing coding duels in Pex4Fun and code huntProceedings of the 2014 International Symposium on Software Testing and Analysis10.1145/2610384.2628054(445-448)Online publication date: 21-Jul-2014
- Tillmann NDe Halleux JXie TBishop JDenney EBultan TZeller A(2013)Pex4FunProceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE.2013.6693144(730-733)Online publication date: 11-Nov-2013