Abstract is missing.
- The Next Level of Test Automation (NEXTA 2020)Serge Demeyer, Adnan Causevic, Kristian Wiklund, Pasqualina Potena. [doi]
- General Message from the IWCT Workshop ChairsDimitris E. Simos, Jeff Yu Lei, Changhai Nie. [doi]
- ToCaMS - Workshop on Testing of Configurable and Multi-variant SystemsJeremy S. Bradbury, Peter M. Kruse, Mehrdad Saadatmand, Holger Schlingloff. [doi]
- ICST 2020 CI/CD Industry Workshop ProgramTim A. D. Henderson, John Micco, Bao N. Nguyen. [doi]
- A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional RequirementsAitor Arrieta, Joseba Andoni Agirre, Goiuria Sagardui. 1-5 [doi]
- A Model-Based Security Testing Approach for Automotive Over-The-Air UpdatesShahid Mahmood, Alexy Fouillade, Hoang Nga Nguyen, Siraj A. Shaikh. 6-13 [doi]
- Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and SoftwareFranz Wotawa, Josip Bozic, Yihao Li. 14-17 [doi]
- Using tabular notation to support model based testing: A practical experience using STTSpec and Spec ExplorerRachid Kherrazi. 18-23 [doi]
- Model-Based Testing of Read Only Graph QueriesLeen Lambers, Sven Schneider 0001, Marcel Weisgut. 24-34 [doi]
- Conformance Testing in UPPAAL: A diabolic approachEmil J. Njor, Florian Lorber, Nikolaj I. Schmidt, Sebastian R. Petersen. 35-42 [doi]
- Model-Based Testing for MAPE-K adaptation control loopsPaolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra. 43-51 [doi]
- Optimizing decision making in concolic execution using reinforcement learningCiprian Paduraru, Miruna Paduraru, Alin Stefanescu. 52-61 [doi]
- An Automated Testing Framework For Smart TV apps Based on Model SeparationBestoun S. Ahmed, Angelo Gargantini, Miroslav Bures. 62-73 [doi]
- Translation from Visual to Layout-based Android Test Cases: a Proof of ConceptRiccardo Coppola, Luca Ardito, Marco Torchiano, Emil Alégroth. 74-83 [doi]
- Supporting efficient test automation using lightweight MBTBernard Elodie, Fabrice Ambert, Bruno Legeard. 84-94 [doi]
- Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of WidgetsAlexandre Canny, Philippe A. Palanque, David Navarre. 95-104 [doi]
- Automatic exploratory performance testing using a discriminator neural networkIvan Porres, Tanwir Ahmad, Hergys Rexha, Sébastien Lafond, Dragos Truscan. 105-113 [doi]
- Performance Evaluation of Container's Shared VolumesNaylor G. Bachiega, Paulo Sergio Lopes de Souza, Sarita Mazzini Bruschi, Simone do Rocio Senger de Souza. 114-123 [doi]
- Prioritizing Scenarios based on STAMP/STPA Using Statistical Model CheckingMitsuaki Tsuji, Toshinori Takai, Kazuki Kakimoto, Naoki Ishihama, Masafumi Katahira, Hajimu Iida. 124-132 [doi]
- Generating Tests for the Discovery of Security Flaws in Product VariantsFrancisco Araújo, Ibéria Medeiros, Nuno Neves 0001. 133-142 [doi]
- Test Data Generation for False Data Injection Attack Testing in Air Traffic SurveillanceAymeric Cretin, Alexandre Vernotte, Antoine Chevrot, Fabien Peureux, Bruno Legeard. 143-152 [doi]
- Keywords-based test categorization for Extra-Functional PropertiesMuhammad Abbas, Abdul Rauf, Mehrdad Saadatmand, Eduard Paul Enoiu, Daniel Sundmark. 153-156 [doi]
- An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State MachinesAndrea Bombarda, Angelo Gargantini. 157-166 [doi]
- Combinatorial Methods for Explainable AID. Richard Kuhn, Raghu N. Kacker, Yu Lei, Dimitris E. Simos. 167-170 [doi]
- Generation of Invalid Test Inputs from Over-Constrained Test Models for Combinatorial Robustness TestingKonrad Fögen, Horst Lichter. 171-180 [doi]
- On Using Ontologies for Testing CompilersYihao Li, Franz Wotawa. 181-184 [doi]
- Avocado: Open-Source Flexible Constrained Interaction Testing for Practical ApplicationJan Richter, Bestoun S. Ahmed, Miroslav Bures, Cleber R. Rosa Junior. 185-190 [doi]
- CAGEN: A fast combinatorial test generation tool with support for constraints and higher-index arraysMichael Wagner, Kristoffer Kleine, Dimitris E. Simos, Rick Kuhn, Raghu Kacker. 191-200 [doi]
- A Comparison Infrastructure for Fault Characterization AlgorithmsTorben Friedrichs, Konrad Fögen, Horst Lichter. 201-210 [doi]
- Toward an Encoding Approach to Interaction-based Test Suite MinimizationKohei Nishino, Takashi Kitamura, Tomoji Kishi, Cyrille Artho. 211-212 [doi]
- Identifying Software Test Architect Skills and KnowledgeD. Jon, Laura Hagar. 213-215 [doi]
- Selenium based Testing Systems for Analytical Data Generation of Website User BehaviorTakamasa Tanaka, Hidekazu Niibori, Shiyingxue Li, Shimpei Nomura, Tadayoshi Nakao, Kazuhiko Tsuda. 216-221 [doi]
- Automated security testing of Android applications for secure mobile developmentFrancisco Palma, Nuno Realista, Carlos Serrão, Luís Nunes, João Oliveira 0001, Ana de Almeida 0002. 222-231 [doi]
- Techniques to Have a Common Understanding of Test Aspects among Test Team MembersTomohiro Odan, Shizuka Ban, Hiroki Iseri, Kumiko Iseri, Akiharu Satoh. 232-236 [doi]
- An Integrated Metamodel of Test Scenario to Conform Automotive StandardsHidetoshi Suhara, Yasuharu Nishi. 237-240 [doi]
- Complex Software Testing Analysis using International StandardsSatoshi Masuda, Yasuharu Nishi, Kazuhiro Suzuki. 241-246 [doi]
- On the impact of timeouts and JVM crashes in PitestThomas Laurent 0003, Fionnuala Wall, Anthony Ventresque. 247-253 [doi]
- Using mutation testing to measure behavioural test diversityFrancisco Gomes de Oliveira Neto, Felix Dobslaw, Robert Feldt. 254-263 [doi]
- SiMut: Exploring Program Similarity to Support the Cost Reduction of Mutation TestingAlessandro Viola Pizzoleto, Fabiano Cutigi Ferrari, Lucas Diniz Dallilo, Jeff Offutt. 264-273 [doi]
- Predicting Survived and Killed MutantsAlejandra Duque-Torres, Natia Doliashvili, Dietmar Pfahl, Rudolf Ramler. 274-283 [doi]
- Fault sTypes of Adaptive and Context-Aware Systems and Their Relationship with Fault-based Testing ApproachesBento R. Siqueira, Fabiano Cutigi Ferrari, Kathiani E. Souza, Daniel S. M. Santibáñez, Valter Vieira de Camargo. 284-293 [doi]
- MutantDistiller: Using Symbolic Execution for Automatic Detection of Equivalent Mutants and Generation of Mutant Killing TestsMichael Baer, Norbert Oster, Michael Philippsen. 294-303 [doi]
- A Preliminary Investigation into Using Machine Learning Algorithms to Identify Minimal and Equivalent MutantsClaudinei Brito Junior, Vinicius H. S. Durelli, Rafael Serapilha Durelli, Simone R. S. Souza, Auri M. R. Vincenzi, Márcio Eduardo Delamaro. 304-313 [doi]
- Test Automation Process Improvement in a DevOps Team: Experience ReportYuqing Wang, Maaret Pyhäjärvi, Mika V. Mäntylä. 314-321 [doi]
- Selective Regression Testing based on Big Data: Comparing Feature Extraction TechniquesKhaled Walid Al-Sabbagh, Miroslaw Staron, Miroslaw Ochodek, Regina Hebig, Wilhelm Meding. 322-329 [doi]
- Test Automation Challenges for Application Landscape FrameworksNils Wild, Horst Lichter, Peter Kehren. 330-333 [doi]
- Test Automation Improvement Model - TAIM 2.0Sigrid Eldh. 334-337 [doi]
- Optimizing the Parameters of an Evolutionary Algorithm for Fuzzing and Test Data GenerationRalf Gerlich, Christian R. Prause. 338-345 [doi]
- Boundary Value Exploration for Software AnalysisFelix Dobslaw, Francisco Gomes de Oliveira Neto, Robert Feldt. 346-353 [doi]
- Test Data Generation for MC/DC Criterion using Reinforcement LearningJán Cegin, Karol Rástocný. 354-357 [doi]
- Optimization of automated executions based on integration test configurations of embedded softwareMasashi Mizoguchi, Takahiro Iida, Toru Irie. 358-363 [doi]
- On the Industrial Applicability of Augmented Testing: An Empirical StudyMichel Nass, Emil Alégroth, Robert Feldt. 364-371 [doi]
- Session-Based Recommender Systems for Action Selection in GUI Test GenerationVarun Nayak, Daniel Kraus. 372-375 [doi]
- Runtime Prioritization with the Classification Tree Method for Test AutomationBarbara Jung, Peter M. Kruse. 376-379 [doi]
- On Using k-means Clustering for Test Suite ReductionNour Chetouane, Franz Wotawa, Hermann Felbinger, Mihai Nica. 380-385 [doi]
- Prioritization of Test Cases with Varying Test Costs and Fault Severities for Certification TestingSahin Dirim, Hasan Sözer. 386-391 [doi]
- Test Tools: an illusion of usability?Isabel Evans, Chris Porter, Mark Micallef, Julian Harty. 392-397 [doi]
- Towards a unified catalog of attributes to guide industry in software testing technique selectionÍtalo Santos, Silvana Morita Melo, Paulo Sergio Lopes de Souza, Simone R. S. Souza. 398-407 [doi]
- How Can Software Testing be Improved by Analytics to Deliver Better Apps?Julian Harty. 408-410 [doi]
- Teaching a Testing Concept (JUnit) with Active LearningKesina Baral, Paul Ammann. 411 [doi]
- Teaching Software Testing with Free and Open Source SoftwareLin Deng, Josh Dehlinger, Suranjan Chakraborty. 412-418 [doi]
- Teaching Software Testing in an Algorithms and Data Structures CourseAndrea Arcuri. 419-424 [doi]
- How to Teach Software Testing? Experiences with a Sandwich ApproachLeen Lambers. 425-428 [doi]
- A Case-based Approach for introducing Testing Tools and PrinciplesFrédéric Dadeau, Jean-Philippe Gros, Fabien Peureux. 429-436 [doi]
- Can Learning Formal Specification Be Fun? - Experience and PerspectiveI. S. W. B. Prasetya, Craig Q. H. D. Leek, Roan Oosenbrug, Petar Kostic, Mike de Vries. 437-440 [doi]
- Integrating Testing Throughout the CS CurriculumSarah Heckman, Jessica Young Schmidt, Jason King. 441-444 [doi]
- A Preliminary Report on Hands-On and Cross-Course Activities in a College Software Testing CourseUpsorn Praphamontripong, Mark Floryan, Ryan Ritzo. 445-451 [doi]
- Incorporating Testing Topics in an Object-Oriented Programming CourseRowland Pitts. 452-456 [doi]
- Towards a Learning Environment for Internet of Things Testing with LEGO® MINDSTORMS®Thomas Auer, Michael Felderer. 457-460 [doi]
- Teaching Software Testing with the Code Defenders Testing Game: Experiences and ImprovementsGordon Fraser, Alessio Gambi, José Miguel Rojas. 461-464 [doi]
- Towards a Deep Learning Model for Vulnerability Detection on Web Application VariantsAna Fidalgo, Ibéria Medeiros, Paulo Antunes, Nuno Neves 0001. 465-476 [doi]
- Regression Test Suite Reduction for Cloud SystemsOussama Jebbar, Mohamed Aymen Saied, Ferhat Khendek, Maria Toeroe. 477-486 [doi]
- Test Design with the Classification Tree Method in Presence of VariantsVladimir Schmidt, Peter M. Kruse. 487-490 [doi]