default search action
9th ICST Workshops 2016: Chicago, IL, USA
- Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, April 11-15, 2016. IEEE Computer Society 2016, ISBN 978-1-5090-3674-5
Third International Workshop on Software Test Architecture (InSTA 2016)
- Satoshi Masuda, Tohru Matsuodani, Kazuhiko Tsuda:
Automatic Generation of UTP Models from Requirements in Natural Language. 1-6 - Tsuyoshi Yumoto, Tohru Matsuodani, Kazuhiko Tsuda:
A Study on the Effectiveness of Test-Categories Based Test Analysis. 7-13 - Yasuharu Nishi:
Difference in Quality of Test Architecture between Service Providers and Subcontractors. 14-16
Fifth International Workshop on Combinatorial Testing (IWCT 2016)
- Angelo Gargantini, Rachel Tzoref-Brill:
Combinatorial Testing: From Algorithms to Applications. 17-18 - Charles J. Colbourn, Violet R. Syrotiuk:
Coverage, Location, Detection, and Measurement. 19-25
Session 1: Fault Localization
- Jaganmohan Chandrasekaran, Laleh S. Ghandehari, Yu Lei, Raghu Kacker, D. Richard Kuhn:
Evaluating the Effectiveness of BEN in Localizing Different Types of Software Fault. 26-34 - Chiya Xu, Yuanchao Qi, Ziyuan Wang, Weifeng Zhang:
Analyzing Minimal Failure-Causing Schemas in Siemens Suite. 35-38
Session 2: Test Generation
- Sergiy Vilkomir, Galen Pennell:
Should We Care about "Don't Care" Testing Inputs?: Empirical Investigation of Pair-Wise Testing. 39-45 - Gülsen Demiröz, Cemal Yilmaz:
Towards Automatic Cost Model Discovery for Combinatorial Interaction Testing. 46-50
Session 3: Test Generation
- D. Richard Kuhn, Vincent C. Hu, David F. Ferraiolo, Raghu N. Kacker, Yu Lei:
Pseudo-Exhaustive Testing of Attribute Based Access Control Rules. 51-58
Session 4: Modeling and Integration with the Test Process
- Anwar Sherif:
Combinatorial Testing: Implementations in Solutions Testing. 59-64 - George B. Sherwood:
Embedded Functions for Constraints and Variable Strength in Combinatorial Testing. 65-74 - Peter M. Kruse:
Test Oracles and Test Script Generation in Combinatorial Testing. 75-82
Session 5: Applications
- Lydie du Bousquet, Mickaël Delahaye, Catherine Oriat:
Applying a Pairwise Coverage Criterion to Scenario-Based Testing. 83-91 - Koji Tsumura, Hironori Washizaki, Yoshiaki Fukazawa, Keishi Oshima, Ryota Mibe:
Pairwise Coverage-Based Testing with Selected Elements in a Query for Database Applications. 92-101
11th International Workshop on Mutation Analysis (MUTATION 2016)
- Upsorn Praphamontripong, Jeff Offutt, Lin Deng, Jingjing Gu:
An Experimental Evaluation of Web Mutation Operators. 102-111 - Birgitta Lindström, András Márki:
On Strong Mutation and Subsuming Mutants. 112-121 - Donghwan Shin, Shin Yoo, Doo-Hwan Bae:
Diversity-Aware Mutation Adequacy Criterion for Improving Fault Detection Capability. 122-131 - Rahul Gopinath, Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce:
Measuring Effectiveness of Mutant Sets. 132-141 - Bob Kurtz, Paul Ammann, Jeff Offutt, Mariet Kurtz:
Are We There Yet? How Redundant and Equivalent Mutants Affect Determination of Test Completeness. 142-151 - Dominik Holling, Sebastian Banescu, Marco Probst, Ana Petrovska, Alexander Pretschner:
Nequivack: Assessing Mutation Score Confidence. 152-161 - José Miguel Rojas, Gordon Fraser:
Code Defenders: A Mutation Testing Game. 162-167 - Ingo Pill, Ivan Rubil, Franz Wotawa, Mihai Nica:
SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models. 168-173 - Dávid Tengeri, László Vidács, Árpád Beszédes, Judit Jász, Gergö Balogh, Béla Vancsics, Tibor Gyimóthy:
Relating Code Coverage, Mutation Score and Test Suite Reducibility to Defect Density. 174-179
12th Advances in Model-Basedased Testing Workshop (A-MOST 2016)
- Yoshinao Ishii, Takuro Kutsuna:
Effective Fault Localization Using Dynamic Slicing and an SMT Solver. 180-188 - Sunitha Thummala, Jeff Offutt:
Using Petri Nets to Test Concurrent Behavior of Web Applications. 189-198 - Bruno Lima, João Pascoal Faria:
A Model-Based Approach for Product Testing and Certification in Digital Ecosystems. 199-208 - Johan Blom, Bengt Jonsson, Sven-Olof Nyström:
Industrial Evaluation of Test Suite Generation Strategies for Model-Based Testing. 209-218 - Bernhard K. Aichernig, Richard Schumi:
Property-Based Testing with FsCheck by Deriving Properties from Business Rule Models. 219-228 - Alexandre Petrenko:
Checking Experiments for Symbolic Input/Output Finite State Machines. 229-237
11th Workshop on Testing: Academia-Industry Collaboration, Practice and Research Techniques (TAIC PART)
- Rudolf Ramler, Michael Felderer, Takashi Kitamura, Darko Marinov:
Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2016. 238-239
Session 1
- Árpád Beszédes, László Vidács:
Academic and Industrial Software Testing Conferences: Survey and Synergies. 240-249
Session 2
- Nikolay Tcholtchev, Martin A. Schneider, Ina Schieferdecker:
Systematic Analysis of Practical Issues in Test Automation for Communication Based Systems. 250-256 - Emil Alégroth, Marcello Steiner, Antonio Martini:
Exploring the Presence of Technical Debt in Industrial GUI-Based Testware: A Case Study. 257-262
Session 3
- Ceren Sahin Gebizli, Hasan Sözer, Ali Özer Ercan:
Successive Refinement of Models for Model-Based Testing to Increase System Test Effectiveness. 263-268 - Andreas Hoffmann, Jochen Quante, Matthias Woehrle:
Experience Report: White Box Test Case Generation for Automotive Embedded Software. 269-274
Open Session - New Ideas, Experiences and Challenges
- Adithya Nagarajan, Ajay Vaddadi:
Automated Fault-Tolerance Testing. 275-276
Session 4
- Sahar Tahvili, Mehrdad Saadatmand, Stig Larsson, Wasif Afzal, Markus Bohlin, Daniel Sundmark:
Dynamic Integration Test Selection Based on Test Case Dependencies. 277-286 - M. Evren Coskun, M. Melta Ceylan, Kadir Yigitozu, Vahid Garousi:
A Tool for Automated Inspection of Software Design Documents and Its Empirical Evaluation in an Aviation Industry Setting. 287-294
Session 5
- Paula Raappana, Soili Saukkoriipi, Ilkka Tervonen, Mika V. Mäntylä:
The Effect of Team Exploratory Testing - Experience Report from F-Secure. 295-304 - Mark Micallef, Chris Porter, Andrea Borg:
Do Exploratory Testers Need Formal Training? An Investigation Using HCI Techniques. 305-314
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.