Table of Contents

• One test to rule them allAlex Groce, Josie Holmes, Kevin Kellar. 1-11 [doi]
• Reinforcement learning for automatic test case prioritization and selection in continuous integrationHelge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige. 12-22 [doi]
• PerfRanker: prioritization of performance regression tests for collection-intensive softwareShaikh Mostafa, Xiaoyin Wang, Tao Xie. 23-34 [doi]
• Compiler-assisted test acceleration on GPUs for embedded softwareVanya Yaneva, Ajitha Rajan, Christophe Dubach. 35-45 [doi]
• Targeted property-based testingAndreas Löscher, Konstantinos Sagonas. 46-56 [doi]
• Generating unit tests with descriptive names or: would you name your children thing1 and thing2?Ermira Daka, José Miguel Rojas, Gordon Fraser. 57-67 [doi]
• Accelerating array constraints in symbolic executionDavid Mitchel Perry, Andrea Mattavelli, Xiangyu Zhang, Cristian Cadar. 68-78 [doi]
• Improving the cost-effectiveness of symbolic testing techniques for transport protocol implementations under packet dynamicsWei Sun, Lisong Xu, Sebastian G. Elbaum. 79-89 [doi]
• Combining symbolic execution and search-based testing for programs with complex heap inputsPietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè. 90-101 [doi]
• Efficient computation of happens-before relation for event-driven programsPallavi Maiya, Aditya Kanade. 102-112 [doi]
• Automatic detection and validation of race conditions in interrupt-driven embedded softwareYu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li. 113-124 [doi]
• Monitoring decentralized specificationsAntoine El-Hokayem, Yliès Falcone. 125-135 [doi]
• Effective online software anomaly detectionYizhen Chen, Ming Ying, Daren Liu, Adil Alim, Feng Chen, Mei-Hwa Chen. 136-146 [doi]
• Semi-automated discovery of server-based information oversharing vulnerabilities in Android applicationsWilliam Koch, Abdelberi Chaabane, Manuel Egele, William K. Robertson, Engin Kirda. 147-157 [doi]
• CPR: cross platform binary code reuse via platform independent trace programYonghwi Kwon, Weihang Wang, Yunhui Zheng, Xiangyu Zhang, Dongyan Xu. 158-169 [doi]
• An actionable performance profiler for optimizing the order of evaluationsMarija Selakovic, Thomas Glaser, Michael Pradel. 170-180 [doi]
• Testing and analysis of web applications using page modelsSnigdha Athaiya, Raghavan Komondoor. 181-191 [doi]
• Automated layout failure detection for responsive web pages without an explicit oracleThomas A. Walsh, Gregory M. Kapfhammer, Phil McMinn. 192-202 [doi]
• Test execution checkpointing for web applicationsMarco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, David A. Basin. 203-214 [doi]
• Experience paper: a study on behavioral backward incompatibilities of Java software librariesShaikh Mostafa, Rodney Rodriguez, Xiaoyin Wang. 215-225 [doi]
• Identifying test-suite-overfitted patches through test case generationQi Xin, Steven P. Reiss. 226-236 [doi]
• Impact of tool support in patch constructionAnil Koyuncu, Tegawendé F. Bissyandé, Dongsun Kim, Jacques Klein, Martin Monperrus, Yves Le Traon. 237-248 [doi]
• Automated repair of layout cross browser issues using search-based techniquesSonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G. J. Halfond. 249-260 [doi]
• Boosting spectrum-based fault localization using PageRankMengshi Zhang, Xia Li, Lingming Zhang, Sarfraz Khurshid. 261-272 [doi]
• FLUCCS: using code and change metrics to improve fault localizationJeongju Sohn, Shin Yoo. 273-283 [doi]
• Inferring mutant utility from program contextRené Just, Bob Kurtz, Paul Ammann. 284-294 [doi]
• Faster mutation analysis via equivalence modulo statesBo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao. 295-306 [doi]
• Just-in-time static analysisLisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill. 307-317 [doi]
• Refining interprocedural change-impact analysis using equivalence relationsAlex Gyori, Shuvendu K. Lahiri, Nimrod Partush. 318-328 [doi]
• Boosting the precision of virtual call integrity protection with partial pointer analysis for C++Xiaokang Fan, Yulei Sui, Xiangke Liao, Jingling Xue. 329-340 [doi]
• Lightweight detection of physical unit inconsistencies without program annotationsJohn-Paul Ore, Carrick Detweiler, Sebastian G. Elbaum. 341-351 [doi]
• Phriky-units: a lightweight, annotation-free physical unit inconsistency detection toolJohn-Paul Ore, Carrick Detweiler, Sebastian G. Elbaum. 352-355 [doi]
• A suite of tools for making effective use of automatically generated testsJosie Holmes, Alex Groce. 356-359 [doi]
• ReDeCheck: an automatic layout failure checking tool for responsively designed web pagesThomas A. Walsh, Gregory M. Kapfhammer, Phil McMinn. 360-363 [doi]
• CUT: automatic unit testing in the cloudAlessio Gambi, Sebastian Kappler, Johannes Lampel, Andreas Zeller. 364-367 [doi]
• XFix: an automated tool for the repair of layout cross browser issuesSonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G. J. Halfond. 368-371 [doi]
• THEMIS: a tool for decentralized monitoring algorithmsAntoine El-Hokayem, Yliès Falcone. 372-375 [doi]
• JFIX: semantics-based repair of Java programs via symbolic PathFinderXuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser. 376-379 [doi]
• ArtForm: a tool for exploring the codebase of form-based websitesBen Spencer, Michael Benedikt, Anders Møller, Franck van Breugel. 380-383 [doi]
• ParTeCL: parallel testing using OpenCLVanya Yaneva, Ajitha Rajan, Christophe Dubach. 384-387 [doi]
• Verifying digital systems with MATLABLennon Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho. 388-391 [doi]
• SealTest: a simple library for test sequence generationSylvain Hallé, Raphaël Khoury. 392-395 [doi]
• GitcProc: a tool for processing and classifying GitHub commitsCasey Casalnuovo, Yagnik Suchak, Baishakhi Ray, Cindy Rubio-González. 396-399 [doi]
• Caret-HM: recording and replaying Android user sessions with heat map generation using UI state clusteringDmitry Nurmuradov, Renée C. Bryce. 400-403 [doi]
• LabPal: repeatable computer experiments made easySylvain Hallé. 404-407 [doi]
• Consistency checking in requirements analysisJaroslav Bendík. 408-411 [doi]
• Testing and analysis of web applications using page modelsSnigdha Athaiya. 412-415 [doi]
• Path cost analysis for side channel detectionTegan Brennan. 416-419 [doi]
• Automatically inferring and enforcing user expectationsJenny Hotzkow. 420-423 [doi]
• Understanding intended behavior using models of low-level signalsDeborah S. Katz. 424-427 [doi]
• Version space learning for verification on temporal differentialsMark Santolucito. 428-431 [doi]
• Data flow oriented UI testing: exploiting data flows and UI elements to test Android applicationsNataniel P. Borges Jr.. 432-435 [doi]
• Dynamic tainting for automatic test case generationBjörn Mathis. 436-439 [doi]
• Mapping hardness of automated software testingCarlos Oliveira. 440-443 [doi]
• Oracle problem in software testingGunel Jahangirova. 444-447 [doi]