| 2015 | Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications. | Haitao Zhang, Toshiaki Aoki, Yuki Chiba |
| 2015 | A study on an approach for analysing test basis using I/O test data patterns. | Tsuyoshi Yumoto, Tohru Matsuodani, Kazuhiko Tsuda |
| 2015 | Constraint handling in combinatorial test generation using forbidden tuples. | Linbin Yu, Feng Duan, Yu Lei, Raghu N. Kacker, D. Richard Kuhn |
| 2015 | Guided Test Generation for Finding Worst-Case Stack Usage in Embedded Systems. | Tingting Yu, Myra B. Cohen |
| 2015 | Postconditioned Symbolic Execution. | Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao |
| 2015 | Optimization of Combinatorial Testing by Incremental SAT Solving. | Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere |
| 2015 | A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops. | Jing Xu, Yu Lei, Richard H. Carver, David Chenho Kung |
| 2015 | Test automation for multi-touch user interfaces of industrial applications. | Thomas Wetzlmaier, Mario Winterer |
| 2015 | Fluently Reading, Writing and Speaking Hexadecimal with Gepetto's Help. | Daniel Werner |
| 2015 | Scaling a running agile fix-bid project with near shoring: Theory vs. reality and (best) practice. | Violetta J. Wawryk, Christian Krenn, Thomas Dietinger |
| 2015 | Detecting Display Energy Hotspots in Android Apps. | Mian Wan, Yuchen Jin, Ding Li, William G. J. Halfond |
| 2015 | Why combinatorial testing works: Analyzing minimal failure-causing schemas in logic expressions. | Ziyuan Wang, Yuanchao Qi |
| 2015 | From agile software development to the sharing economy and the collaborative commons: Social apps for enterprises. | Herbert Wagger |
| 2015 | Designing sustainable information systems for organizations operating in safety critical environments. | Wolfgang Vorraber, Gerald Lichtenegger, Dietmar Neubacher, Siegfried Voessner |
| 2015 | Relationship between pair-wise and MC/DC testing: Initial experimental results. | Sergiy Vilkomir, David Anderson |
| 2015 | Supporting software product line testing by optimizing code configuration coverage. | Lszl Vidcs, Ferenc Horvth, Jzsef Mihalicza, Bla Vancsics, rpd Beszdes |
| 2015 | Automated compatibility testing method for software logic by using symbolic execution. | Keiji Uetsuki, Kazuhiko Tsuda, Tohru Matsuodani |
| 2015 | Towards systematic mutations for and with ATL model transformations. | Javier Troya, Alexander Bergmayr, Loli Burgueo, Manuel Wimmer |
| 2015 | MetTest: A Test Automation Framework for Development of a Point-To-Multipoint Radio. | M. Devrim Tokcan, Onur Ozturk, Hakan Tuna |
| 2015 | Incremental Model-Based Mutation Testing. | Stefan Tiran |
| 2015 | Beyond code coverage - An approach for test suite assessment and improvement. | Dvid Tengeri, rpd Beszdes, Tams Gergely, Lszl Vidcs, David Havas, Tibor Gyimthy |
| 2015 | Testing big data (Assuring the quality of large databases). | Harry M. Sneed, Katalin Erds |
| 2015 | Model-based approach for automated test case generation from visual requirement specifications. | Kapil Singi, Dipin Era, Vikrant Kaulgud |
| 2015 | Embedded functions in combinatorial test designs. | George B. Sherwood |
| 2015 | Implementing tool support for analyzing stakeholder communications in software development. | Vladimir A. Shekhovtsov, Heinrich C. Mayr, Matija Kucko |