Abstract is missing.
- Message from the TAIC PART 2017 ChairsTakashi Kitamura, Emil Alégroth, Rudolf Ramler. 1-2 [doi]
- Coverage-Based Reduction of Test Execution Time: Lessons from a Very Large Industrial ProjectThomas Bach, Artur Andrzejak, Ralf Pannemans. 3-12 [doi]
- Are CISQ Reliability Measures Practical? A Research PerspectiveJohannes Bräuer, Reinhold Plösch, Manuel Windhager. 13-22 [doi]
- Impact of Education and Experience Level on the Effectiveness of Exploratory Testing: An Industrial Case StudyCeren Sahin Gebizli, Hasan Sözer. 23-28 [doi]
- A Test Case Recommendation Method Based on Morphological Analysis, Clustering and the Mahalanobis-Taguchi MethodHirohisa Aman, Takashi Nakano, Hideto Ogasawara, Minoru Kawahara. 29-35 [doi]
- Results of a Comparative Study of Code Coverage Tools in Computer VisionIulia Nica, Gerhard Jakob, Kathrin Juhart, Franz Wotawa. 36-37 [doi]
- Test Case Generation and Prioritization: A Process-Mining ApproachAndrea Janes. 38-39 [doi]
- Software Testing in Industry and Academia: A View of Both Sides in JapanSatoshi Masuda. 40-41 [doi]
- Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2017Takashi Kitamura, Emil Alégroth, Rudolf Ramler. 42-43 [doi]
- Message from the ITEQS 2017 ChairsMehrdad Saadatmand, Birgitta Lindström, Markus Bohlin. 44-45 [doi]
- A Process for Sound Conformance Testing of Cyber-Physical SystemsHugo L. S. Araujo, Gustavo Carvalho, Augusto Sampaio, Mohammad Reza Mousavi, Masoumeh Taromirad. 46-50 [doi]
- Testing Cache Side-Channel LeakageTiyash Basu, Sudipta Chattopadhyay. 51-60 [doi]
- Simulation-Based Safety Testing Brake-by-WireNils Müllner, Saifullah Khan, Md Habibur Rahman, Wasif Afzal, Mehrdad Saadatmand. 61-64 [doi]
- Targeted Mutation: Efficient Mutation Analysis for Testing Non-Functional PropertiesBjörn Lisper, Birgitta Lindström, Pasqualina Potena, Mehrdad Saadatmand, Markus Bohlin. 65-68 [doi]
- Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADLRaluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu, Daniel Sundmark. 69-76 [doi]
- Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel SoftwareSara Abbaspour Asadollah, Daniel Sundmark, Hans A. Hansson. 77-80 [doi]
- Generating Controllably Invalid and Atypical Inputs for Robustness TestingSimon M. Poulding, Robert Feldt. 81-84 [doi]
- Message from the Mutation 2017 ChairsJens Krinke, Nan Li, José Miguel Rojas. 85-86 [doi]
- MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular ExpressionsPaolo Arcaini, Angelo Gargantini, Elvinia Riccobene. 87-96 [doi]
- Towards Security-Aware Mutation TestingThomas Loise, Xavier Devroey, Gilles Perrouin, Mike Papadakis, Patrick Heymans. 97-102 [doi]
- Speeding-Up Mutation Testing via Data Compression and State InfectionQianqian Zhu, Annibale Panichella, Andy Zaidman. 103-109 [doi]
- Applying Mutation Analysis on Kernel Test Suites: An Experience ReportIftekhar Ahmed, Carlos Jensen, Alex Groce, Paul E. McKenney. 110-115 [doi]
- Mutation Patterns for Temporal Requirements of Reactive SystemsMark B. Trakhtenbrot. 116-121 [doi]
- How Good Are Your Types? Using Mutation Analysis to Evaluate the Effectiveness of Type AnnotationsRahul Gopinath, Eric Walkingshaw. 122-127 [doi]
- Reducing Mutants with Mutant Killable PreconditionChihiro Iida, Shingo Takada. 128-133 [doi]
- Finding Redundancy in Web Mutation OperatorsUpsorn Praphamontripong, Jeff Offutt. 134-142 [doi]
- An Architecture for the Development of Mutation OperatorsMacario Polo Usaola, Gonzalo Rojas, Isyed Rodriguez, Suilen Hernandez. 143-148 [doi]
- Are Deletion Mutants Easier to Identify Manually?Vinicius H. S. Durelli, Nilton M. De Souza, Márcio Eduardo Delamaro. 149-158 [doi]
- General Message from the IWCT Workshop ChairsDimitris E. Simos, Rachel Tzoref-Brill. 159-160 [doi]
- IWCT 2017 OrganizersDimitris E. Simos, Rachel Tzoref-Brill. 161 [doi]
- A Model for T-Way Fault Profile Evolution during TestingD. Richard Kuhn, Raghu N. Kacker, Yu Lei. 162-170 [doi]
- Mutation Score, Coverage, Model Inference: Quality Assessment for T-Way Combinatorial Test-SuitesHermann Felbinger, Franz Wotawa, Mihai Nica. 171-180 [doi]
- Optimizing IPOG's Vertical Growth with Constraints Based on Hypergraph ColoringFeng Duan, Yu Lei, Linbin Yu, Raghu N. Kacker, D. Richard Kuhn. 181-188 [doi]
- Test Case Generation with Regular Expressions and Combinatorial TechniquesMacario Polo Usaola, Francisco Ruiz Romero, Rosana Rodriguez-Bobada Aranda, Ignacio Garcia Rodriguez. 189-198 [doi]
- Applying Combinatorial Testing to High-Speed Railway Track Circuit ReceiverChang Rao, Jin Guo, Nan Li, Yu Lei, Yadong Zhang, Yao Li, Yaxin Cao. 199-207 [doi]
- Applications of Practical Combinatorial Testing Methods at Siemens Industry Inc., Building Technologies DivisionMurat Ozcan. 208-215 [doi]
- Using Timed Base-Choice Coverage Criterion for Testing Industrial Control SoftwareHenning Bergstrom, Eduard Paul Enoiu. 216-219 [doi]
- Building Combinatorial Test Input Model from Use Case ArtefactsPreeti Satish, Milind B., Medhini S. Narayan, Krishnan Rangarajan. 220-228 [doi]
- Combinatorial Methods for Modelling Composed Software SystemsLudwig Kampel, Bernhard Garn, Dimitris E. Simos. 229-238 [doi]
- Combinatorial Interaction Testing for Automated Constraint RepairAngelo Gargantini, Justyna Petke, Marco Radavelli. 239-248 [doi]
- A Composition-Based Method for Combinatorial Test DesignAnna Zamansky, Amir Shwartz, Seri Khoury, Eitan Farchi. 249-252 [doi]
- Applying Combinatorial Testing to Data Mining AlgorithmsJaganmohan Chandrasekaran, Huadong Feng, Yu Lei, D. Richard Kuhn, Raghu Kacker. 253-261 [doi]
- Combinatorial Testing on Implementations of HTML5 SupportXi Deng, Tianyong Wu, Jun Yan, Jian Zhang. 262-271 [doi]
- Combinatorial Testing on MP3 for Audio PlayersShaojiang Wang, Tianyong Wu, Yuan Yao, Beihong Jin, Liping Ding. 272-275 [doi]
- Finding Minimum Locating Arrays Using a SAT SolverTatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya. 276-277 [doi]
- Test Optimization Using Combinatorial Test Design: Real-World Experience in Deployment of Combinatorial Testing at ScaleSaritha Route. 278-279 [doi]
- Messages from the InSTA 2017 ChairsSatoshi Masuda. 280 [doi]
- Analysing Test Basis and Deriving Test Cases Based on Data Design DocumentsTsuyoshi Yumoto, Tohru Matsuodani, Kazuhiko Tsuda. 281-288 [doi]
- Improvement of Description for Reusable Test Type by Using Test FrameKeiji Uetsuki, Mitsuru Yamamoto. 289-293 [doi]
- Suggestion of Practical Quantification Measuring Method of Test Design Which Can Represent the Current StatusSunil Chon, Jihwan Park. 294-299 [doi]
- Software Testing Design Techniques Used in Automated Vehicle SimulationsSatoshi Masuda. 300-303 [doi]
- Closing the Gap between Unit Test Code and DocumentationKarsten Stocker, Hironori Washizaki, Yoshiaki Fukazawa. 304-308 [doi]
- Test Conglomeration - Proposal for Test Design Notation Like Class DiagramNoriyuki Mizuno, Makoto Nakakuki, Yoshinori Seino. 309-312 [doi]
- Defining the Phrase "Software Test Architecture" Emerging IdeaJon D. Hagar. 313-316 [doi]
- Message from the A-MOST 2017 ChairsPaolo Arcaini, Xavier Devroey, Shuai Wang. 317-318 [doi]
- Mutation-Based Test-Case Generation with EcdarKim G. Larsen, Florian Lorber, Brian Nielsen, Ulrik Nyman. 319-328 [doi]
- Reducing the Concretization Effort in FSM-Based Testing of Software Product LinesVanderson Hafemann Fragal, Adenilso Simao, André Takeshi Endo, Mohammad Reza Mousavi. 329-336 [doi]
- Property-Based Testing with External Test-Case GeneratorsBernhard K. Aichernig, Silvio Marcovic, Richard Schumi. 337-346 [doi]
- Planning-Based Security Testing of the SSL/TLS ProtocolJosip Bozic, Kristoffer Kleine, Dimitris E. Simos, Franz Wotawa. 347-355 [doi]
- Towards Decentralized Conformance Checking in Model-Based Testing of Distributed SystemsBruno Miguel Carvalhido Lima, Joao Carlos Pascoal Faria. 356-365 [doi]
- Pattern-Based Usability TestingFernando Dias, Ana C. R. Paiva. 366-371 [doi]
- A Mechanism of Reliable and Standalone Script Generator on AndroidKuei-Chun Liu, Yu-Yu Lai, Ching-Hong Wu. 372-374 [doi]
- EarthCube Software Testing and Assessment FrameworkEmily Law. 375-376 [doi]
- Using Model-Checking for Timing Verification in Industrial System DesignLaurent Rioux, Rafik Henia, Nicolas Sordon. 377-378 [doi]
- Challenges of Operationalizing Spectrum-Based Fault Localization from a Data-Centric PerspectiveMojdeh Golagha, Alexander Pretschner. 379-381 [doi]
- Towards a Gamified Equivalent Mutants Detection PlatformThomas Laurent, Laura Guillot, Motomichi Toyama, Ross Smith, Dan Bean, Anthony Ventresque. 382-384 [doi]
- Cloud API TestingJunyi Wang, Xiaoying Bai, Haoran Ma, Linyi Li, Zhicheng Ji. 385-386 [doi]
- Automated A/B Testing with Declarative Variability ExpressionsKeisuke Watanabe, Takuya Fukamachi, Naoyasu Ubayashi, Yasutaka Kamei. 387-388 [doi]
- Weighting for Combinatorial Testing by Bayesian InferenceEun-Hye Choi, Tsuyoshi Fujiwara, Osamu Mizuno. 389-391 [doi]
- Impact of Static and Dynamic Coverage on Test-Case Prioritization: An Empirical StudyJianyi Zhou, Dan Hao. 392-394 [doi]
- BDTest, a System to Test Big Data FrameworksAlexandre Langeois, Eduardo Cunha de Almeida, Anthony Ventresque. 395-397 [doi]
- What You See Is What You Test - Augmenting Software Testing with Computer VisionRudolf Ramler, Thomas Ziebermayr. 398-400 [doi]
- Framework for Model-Based Design and Verification of Human-in-the-Loop Cyber-Physical SystemsFilip Cuckov, Grant Rudd, Liam Daly. 401-402 [doi]
- Automated Test Case Generation from OTS/CafeOBJ Specifications by Specification TranslationRyusei Mori, Masaki Nakamura. 403-404 [doi]