A-TEST 2018 – Proceedings

9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST 2018)

Frontmatter

Keynote

Improving Regression Testing in Continuous Integration Development Environments (Keynote)
Gregg Rothermel
(North Carolina State University, USA)


@InProceedings{A-TEST18p1, author = {Gregg Rothermel}, title = {Improving Regression Testing in Continuous Integration Development Environments (Keynote)}, booktitle = {Proc.\ A-TEST}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3278186.3281454}, year = {2018}, } Publisher's Version Article: fsews18atestmain-inv1-p doi:10.1145/3278186.3281454

Session 1

Reinforcement Learning for Android GUI Testing
David Adamo, Md Khorrom Khan, Sreedevi Koppula, and Renée Bryce
(Ultimate Software, USA; University of North Texas, USA)


@InProceedings{A-TEST18p8, author = {David Adamo and Md Khorrom Khan and Sreedevi Koppula and Renée Bryce}, title = {Reinforcement Learning for Android GUI Testing}, booktitle = {Proc.\ A-TEST}, publisher = {ACM}, pages = {8-7}, doi = {10.1145/3278186.3278187}, year = {2018}, } Publisher's Version Article: fsews18atestmain-id3-p doi:10.1145/3278186.3278187

Extending Equivalence Transformation Based Program Generator for Random Testing of C Compilers
Shogo Takakura, Mitsuyoshi Iwatsuji, and Nagisa Ishiura
(Kwansei Gakuin University, Japan)


@InProceedings{A-TEST18p15, author = {Shogo Takakura and Mitsuyoshi Iwatsuji and Nagisa Ishiura}, title = {Extending Equivalence Transformation Based Program Generator for Random Testing of C Compilers}, booktitle = {Proc.\ A-TEST}, publisher = {ACM}, pages = {15-14}, doi = {10.1145/3278186.3278188}, year = {2018}, } Publisher's Version Article: fsews18atestmain-id13-p doi:10.1145/3278186.3278188

HDDr: A Recursive Variant of the Hierarchical Delta Debugging Algorithm
Ákos Kiss, Renáta Hodován, and Tibor Gyimóthy
(University of Szeged, Hungary)


@InProceedings{A-TEST18p22, author = {Ákos Kiss and Renáta Hodován and Tibor Gyimóthy}, title = {HDDr: A Recursive Variant of the Hierarchical Delta Debugging Algorithm}, booktitle = {Proc.\ A-TEST}, publisher = {ACM}, pages = {22-21}, doi = {10.1145/3278186.3278189}, year = {2018}, } Publisher's Version Article: fsews18atestmain-id14-p doi:10.1145/3278186.3278189

Goal-Oriented Mutation Testing with Focal Methods
Sten Vercammen, Mohammad Ghafari, Serge Demeyer, and Markus Borg
(University of Antwerp, Belgium; University of Bern, Switzerland; RISE SICS, Sweden)


@InProceedings{A-TEST18p29, author = {Sten Vercammen and Mohammad Ghafari and Serge Demeyer and Markus Borg}, title = {Goal-Oriented Mutation Testing with Focal Methods}, booktitle = {Proc.\ A-TEST}, publisher = {ACM}, pages = {29-28}, doi = {10.1145/3278186.3278190}, year = {2018}, } Publisher's Version Article: fsews18atestmain-id2-p doi:10.1145/3278186.3278190

A Reinforcement Learning Based Approach to Automated Testing of Android Applications
Thi Anh Tuyet Vuong and Shingo Takada
(Keio University, Japan)


@InProceedings{A-TEST18p37, author = {Thi Anh Tuyet Vuong and Shingo Takada}, title = {A Reinforcement Learning Based Approach to Automated Testing of Android Applications}, booktitle = {Proc.\ A-TEST}, publisher = {ACM}, pages = {37-36}, doi = {10.1145/3278186.3278191}, year = {2018}, } Publisher's Version Article: fsews18atestmain-id4-p doi:10.1145/3278186.3278191

Session 2

Random Testing of Compilers’ Performance Based on Mixed Static and Dynamic Code Comparison
Kota Kitaura and Nagisa Ishiura
(Kwansei Gakuin University, Japan)


@InProceedings{A-TEST18p44, author = {Kota Kitaura and Nagisa Ishiura}, title = {Random Testing of Compilers’ Performance Based on Mixed Static and Dynamic Code Comparison}, booktitle = {Proc.\ A-TEST}, publisher = {ACM}, pages = {44-43}, doi = {10.1145/3278186.3278192}, year = {2018}, } Publisher's Version Article: fsews18atestmain-id5-p doi:10.1145/3278186.3278192

Grammarinator: A Grammar-Based Open Source Fuzzer
Renáta Hodován, Ákos Kiss, and Tibor Gyimóthy
(University of Szeged, Hungary)


@InProceedings{A-TEST18p51, author = {Renáta Hodován and Ákos Kiss and Tibor Gyimóthy}, title = {Grammarinator: A Grammar-Based Open Source Fuzzer}, booktitle = {Proc.\ A-TEST}, publisher = {ACM}, pages = {51-50}, doi = {10.1145/3278186.3278193}, year = {2018}, } Publisher's Version Article: fsews18atestmain-id9-p doi:10.1145/3278186.3278193

Abstract Flow Learning for Web Application Test Generation
Dionny Santiago, Peter J. Clarke, Patrick Alt, and Tariq M. King
(Florida International University, USA; Ultimate Software, USA)


@InProceedings{A-TEST18p55, author = {Dionny Santiago and Peter J. Clarke and Patrick Alt and Tariq M. King}, title = {Abstract Flow Learning for Web Application Test Generation}, booktitle = {Proc.\ A-TEST}, publisher = {ACM}, pages = {55-54}, doi = {10.1145/3278186.3278194}, year = {2018}, } Publisher's Version Article: fsews18atestmain-id12-p doi:10.1145/3278186.3278194

Property-Based Testing for the Robot Operating System
André Santos, Alcino Cunha, and Nuno Macedo
(INESC TEC, Portugal; University of Minho, Portugal)


@InProceedings{A-TEST18p62, author = {André Santos and Alcino Cunha and Nuno Macedo}, title = {Property-Based Testing for the Robot Operating System}, booktitle = {Proc.\ A-TEST}, publisher = {ACM}, pages = {62-61}, doi = {10.1145/3278186.3278195}, year = {2018}, } Publisher's Version Article: fsews18atestmain-id11-p doi:10.1145/3278186.3278195

Test Patterns for IoT
Pedro Martins Pontes, Bruno Lima, and João Pascoal Faria
(University of Porto, Portugal; INESC TEC, Portugal)


@InProceedings{A-TEST18p69, author = {Pedro Martins Pontes and Bruno Lima and João Pascoal Faria}, title = {Test Patterns for IoT}, booktitle = {Proc.\ A-TEST}, publisher = {ACM}, pages = {69-68}, doi = {10.1145/3278186.3278196}, year = {2018}, } Publisher's Version Article: fsews18atestmain-id1-p doi:10.1145/3278186.3278196

proc time: 0.02