default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th ICST Workshops 2020: Porto, Portugal
- 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, Porto, Portugal, October 24-28, 2020. IEEE 2020, ISBN 978-1-7281-1075-2
- Tim A. D. Henderson, John Micco, Bao N. Nguyen:
ICST 2020 CI/CD Industry Workshop Program. xiv - Dimitris E. Simos, Jeff Yu Lei, Changhai Nie:
General Message from the IWCT Workshop Chairs. xviii - Serge Demeyer, Adnan Causevic, Kristian Wiklund, Pasqualina Potena:
The Next Level of Test Automation (NEXTA 2020). xxii - Jeremy S. Bradbury, Peter M. Kruse, Mehrdad Saadatmand, Holger Schlingloff
:
ToCaMS - Workshop on Testing of Configurable and Multi-variant Systems. xxvii
16th Workshop on Advances in Model Based Testing (A-MOST 2020)
- Aitor Arrieta, Joseba Andoni Agirre, Goiuria Sagardui:
A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements. 1-5 - Shahid Mahmood, Alexy Fouillade, Hoang Nga Nguyen, Siraj A. Shaikh:
A Model-Based Security Testing Approach for Automotive Over-The-Air Updates. 6-13 - Franz Wotawa, Josip Bozic, Yihao Li:
Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software. 14-17 - Rachid Kherrazi:
Using tabular notation to support model based testing: A practical experience using STTSpec and Spec Explorer. 18-23 - Leen Lambers, Sven Schneider, Marcel Weisgut:
Model-Based Testing of Read Only Graph Queries. 24-34 - Emil J. Njor, Florian Lorber, Nikolaj I. Schmidt, Sebastian R. Petersen:
Conformance Testing in UPPAAL: A diabolic approach. 35-42 - Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
Model-Based Testing for MAPE-K adaptation control loops. 43-51 - Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu:
Optimizing decision making in concolic execution using reinforcement learning. 52-61
3rd International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software (INTUITESTBEDS 2020)
- Bestoun S. Ahmed, Angelo Gargantini, Miroslav Bures:
An Automated Testing Framework For Smart TV apps Based on Model Separation. 62-73 - Riccardo Coppola, Luca Ardito, Marco Torchiano, Emil Alégroth:
Translation from Visual to Layout-based Android Test Cases: a Proof of Concept. 74-83 - Élodie Bernard, Fabrice Ambert, Bruno Legeard:
Supporting efficient test automation using lightweight MBT. 84-94 - Alexandre Canny, Philippe A. Palanque, David Navarre:
Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets. 95-104
4th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS 2020)
- Ivan Porres, Tanwir Ahmad, Hergys Rexha, Sébastien Lafond, Dragos Truscan:
Automatic exploratory performance testing using a discriminator neural network. 105-113 - Naylor G. Bachiega, Paulo Sergio Lopes de Souza, Sarita Mazzini Bruschi, Simone do Rócio Senger de Souza:
Performance Evaluation of Container's Shared Volumes. 114-123 - Mitsuaki Tsuji, Toshinori Takai, Kazuki Kakimoto, Naoki Ishihama, Masafumi Katahira, Hajimu Iida:
Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking. 124-132 - Francisco Araújo, Ibéria Medeiros, Nuno Neves:
Generating Tests for the Discovery of Security Flaws in Product Variants. 133-142 - Aymeric Cretin, Alexandre Vernotte, Antoine Chevrot, Fabien Peureux, Bruno Legeard:
Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance. 143-152 - Muhammad Abbas, Abdul Rauf, Mehrdad Saadatmand, Eduard Paul Enoiu, Daniel Sundmark:
Keywords-based test categorization for Extra-Functional Properties. 153-156
Workshop on Combinatorial Testing (IWCT 2020)
- Andrea Bombarda, Angelo Gargantini:
An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines. 157-166 - D. Richard Kuhn, Raghu N. Kacker, Yu Lei, Dimitris E. Simos:
Combinatorial Methods for Explainable AI. 167-170 - Konrad Fögen, Horst Lichter:
Generation of Invalid Test Inputs from Over-Constrained Test Models for Combinatorial Robustness Testing. 171-180 - Yihao Li, Franz Wotawa:
On Using Ontologies for Testing Compilers. 181-184 - Jan Richter, Bestoun S. Ahmed, Miroslav Bures, Cleber R. Rosa Junior:
Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application. 185-190 - Michael Wagner, Kristoffer Kleine, Dimitris E. Simos, Rick Kuhn, Raghu Kacker:
CAGEN: A fast combinatorial test generation tool with support for constraints and higher-index arrays. 191-200 - Torben Friedrichs, Konrad Fögen, Horst Lichter:
A Comparison Infrastructure for Fault Characterization Algorithms. 201-210 - Kohei Nishino, Takashi Kitamura, Tomoji Kishi, Cyrille Artho:
Toward an Encoding Approach to Interaction-based Test Suite Minimization. 211-212
7th International Workshop on Software Test Architecture (InSTA 2020)
- Jon D. Hagar, Laura Hagar:
Identifying Software Test Architect Skills and Knowledge. 213-215 - Takamasa Tanaka, Hidekazu Niibori, Shiyingxue Li, Shimpei Nomura, Tadayoshi Nakao, Kazuhiko Tsuda:
Selenium based Testing Systems for Analytical Data Generation of Website User Behavior. 216-221 - Francisco Palma, Nuno Realista, Carlos Serrão, Luís Nunes, João Oliveira, Ana de Almeida:
Automated security testing of Android applications for secure mobile development. 222-231 - Tomohiro Odan, Shizuka Ban, Hiroki Iseri, Kumiko Iseri, Akiharu Satoh:
Techniques to Have a Common Understanding of Test Aspects among Test Team Members. 232-236 - Hidetoshi Suhara, Yasuharu Nishi:
An Integrated Metamodel of Test Scenario to Conform Automotive Standards. 237-240 - Satoshi Masuda, Yasuharu Nishi, Kazuhiro Suzuki:
Complex Software Testing Analysis using International Standards. 241-246
The 15th International Workshop on Mutation Analysis (Mutation 2020)
- Thomas Laurent, Fionnuala Wall, Anthony Ventresque:
On the impact of timeouts and JVM crashes in Pitest. 247-253 - Francisco Gomes de Oliveira Neto, Felix Dobslaw, Robert Feldt:
Using mutation testing to measure behavioural test diversity. 254-263 - Alessandro Viola Pizzoleto, Fabiano Cutigi Ferrari, Lucas Diniz Dallilo, Jeff Offutt:
SiMut: Exploring Program Similarity to Support the Cost Reduction of Mutation Testing. 264-273 - Alejandra Duque-Torres, Natia Doliashvili, Dietmar Pfahl, Rudolf Ramler:
Predicting Survived and Killed Mutants. 274-283 - Bento R. Siqueira, Fabiano Cutigi Ferrari, Kathiani Elisa de Souza, Daniel S. M. Santibáñez, Valter Vieira de Camargo:
Fault sTypes of Adaptive and Context-Aware Systems and Their Relationship with Fault-based Testing Approaches. 284-293 - Michael Baer, Norbert Oster, Michael Philippsen:
MutantDistiller: Using Symbolic Execution for Automatic Detection of Equivalent Mutants and Generation of Mutant Killing Tests. 294-303 - Claudinei Brito Junior, Vinicius H. S. Durelli, Rafael Serapilha Durelli, Simone R. S. Souza, Auri M. R. Vincenzi, Márcio Eduardo Delamaro:
A Preliminary Investigation into Using Machine Learning Algorithms to Identify Minimal and Equivalent Mutants. 304-313
3rd IEEE Workshop on NEXt Level of Test Automation (NEXTA 2020)
- Yuqing Wang, Maaret Pyhäjärvi, Mika V. Mäntylä:
Test Automation Process Improvement in a DevOps Team: Experience Report. 314-321 - Khaled Walid Al-Sabbagh, Miroslaw Staron, Miroslaw Ochodek, Regina Hebig, Wilhelm Meding:
Selective Regression Testing based on Big Data: Comparing Feature Extraction Techniques. 322-329 - Nils Wild, Horst Lichter, Peter Kehren:
Test Automation Challenges for Application Landscape Frameworks. 330-333 - Sigrid Eldh:
Test Automation Improvement Model - TAIM 2.0. 334-337 - Ralf Gerlich, Christian R. Prause:
Optimizing the Parameters of an Evolutionary Algorithm for Fuzzing and Test Data Generation. 338-345 - Felix Dobslaw, Francisco Gomes de Oliveira Neto, Robert Feldt:
Boundary Value Exploration for Software Analysis. 346-353 - Ján Cegin, Karol Rástocný:
Test Data Generation for MC/DC Criterion using Reinforcement Learning. 354-357 - Masashi Mizoguchi, Takahiro Iida, Toru Irie:
Optimization of automated executions based on integration test configurations of embedded software. 358-363 - Michel Nass, Emil Alégroth, Robert Feldt:
On the Industrial Applicability of Augmented Testing: An Empirical Study. 364-371 - Varun Nayak, Daniel Kraus:
Session-Based Recommender Systems for Action Selection in GUI Test Generation. 372-375 - Barbara Jung, Peter M. Kruse:
Runtime Prioritization with the Classification Tree Method for Test Automation. 376-379
The 15th Workshop on Testing: Academia-Industry Collaboration, Practice and Research Techniques (TAIC PART 2020)
- Nour Chetouane, Franz Wotawa, Hermann Felbinger, Mihai Nica:
On Using k-means Clustering for Test Suite Reduction. 380-385 - Sahin Dirim, Hasan Sözer:
Prioritization of Test Cases with Varying Test Costs and Fault Severities for Certification Testing. 386-391 - Isabel Evans, Chris Porter, Mark Micallef, Julian Harty:
Test Tools: an illusion of usability? 392-397 - Ítalo Santos, Silvana Morita Melo, Paulo Sergio Lopes de Souza, Simone R. S. Souza:
Towards a unified catalog of attributes to guide industry in software testing technique selection. 398-407 - Julian Harty:
How Can Software Testing be Improved by Analytics to Deliver Better Apps? 408-410
The 1st International Software Testing Education Workshop (TestEd 2020)
- Kesina Baral, Paul Ammann:
Teaching a Testing Concept (JUnit) with Active Learning. 411 - Lin Deng, Josh Dehlinger, Suranjan Chakraborty:
Teaching Software Testing with Free and Open Source Software. 412-418 - Andrea Arcuri:
Teaching Software Testing in an Algorithms and Data Structures Course. 419-424 - Leen Lambers:
How to Teach Software Testing? Experiences with a Sandwich Approach. 425-428 - Frédéric Dadeau, Jean-Philippe Gros, Fabien Peureux:
A Case-based Approach for introducing Testing Tools and Principles. 429-436 - I. S. W. B. Prasetya, Craig Q. H. D. Leek, Roan Oosenbrug, Petar Kostic, Mike de Vries:
Can Learning Formal Specification Be Fun? - Experience and Perspective. 437-440 - Sarah Heckman, Jessica Young Schmidt, Jason King:
Integrating Testing Throughout the CS Curriculum. 441-444 - Upsorn Praphamontripong, Mark Floryan, Ryan Ritzo:
A Preliminary Report on Hands-On and Cross-Course Activities in a College Software Testing Course. 445-451 - Rowland Pitts:
Incorporating Testing Topics in an Object-Oriented Programming Course. 452-456 - Thomas Auer, Michael Felderer:
Towards a Learning Environment for Internet of Things Testing with LEGO® MINDSTORMS®. 457-460 - Gordon Fraser, Alessio Gambi, José Miguel Rojas:
Teaching Software Testing with the Code Defenders Testing Game: Experiences and Improvements. 461-464
Workshop on Testing of Configurable and Multi-variant Systems (ToCaMS 2020)
- Ana Fidalgo, Ibéria Medeiros, Paulo Antunes, Nuno Neves:
Towards a Deep Learning Model for Vulnerability Detection on Web Application Variants. 465-476 - Oussama Jebbar, Mohamed Aymen Saied, Ferhat Khendek, Maria Toeroe:
Regression Test Suite Reduction for Cloud Systems. 477-486 - Vladimir Schmidt, Peter M. Kruse:
Test Design with the Classification Tree Method in Presence of Variants. 487-490 - Julian Harty:
Fast Abstract: Data Dynamics for Testing Systems. 491-492
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.
last updated on 2025-10-29 01:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
