default search action
13th ICST 2020: Porto, Portugal
- 13th IEEE International Conference on Software Testing, Validation and Verification, ICST 2020, Porto, Portugal, October 24-28, 2020. IEEE 2020, ISBN 978-1-7281-5778-8
Keynotes
- Liana Hadarean:
One-click formal methods. 1 - Elvira Albert, Jesús Correas
, Pablo Gordillo
Smart, and also Reliable and Gas-Efficient, Contracts. 2 - Franjo Ivancic:
SunDew: Systematic Automated Security Testing. 3
Research Track
Fault Localization and Debugging
- Mojdeh Golagha, Alexander Pretschner, Lionel C. Briand:
Can We Predict the Quality of Spectrum-based Fault Localization? 4-15 - Rawad Abou Assi, Wes Masri, Chadi Trad:
Substate Profiling for Enhanced Fault Detection and Localization: An Empirical Study. 16-27 - Xiangyu Li, Alessandro Orso:
More Accurate Dynamic Slicing for Better Supporting Software Debugging. 28-38
Test Generation
- Patrick Kreutzer, Stefan Kraus, Michael Philippsen:
Language-Agnostic Generation of Compilable Test Programs. 39-50 - Kyle Dewey
MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators. 51-62 - Hussein K. Almulla
Learning How to Search: Generating Exception-Triggering Tests Through Adaptive Fitness Function Selection. 63-73
Testing Deep Learning and Robotic Systems
- Gunel Jahangirova, Paolo Tonella:
An Empirical Evaluation of Mutation Operators for Deep Learning Systems. 74-84 - Fitash Ul Haq
Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study. 85-95 - Afsoon Afzal, Claire Le Goues
A Study on Challenges of Testing Robotic Systems. 96-107
Misc 1
- Thomas Bach, Ralf Pannemans, Artur Andrzejak:
Determining Method-Call Sequences for Object Creation in C++. 108-119 - André Takeshi Endo
NodeRacer: Event Race Detection for Node.js Applications. 120-130
Testing for APIs
- Stefan Karlsson, Adnan Causevic, Daniel Sundmark:
QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs. 131-141 - Emanuele Viglianisi, Michael Dallago, Mariano Ceccato
RESTTESTGEN: Automated Black-Box Testing of RESTful APIs. 142-152 - Andrea Arcuri, Juan P. Galeotti:
Testability Transformations For Existing APIs. 153-163
Web Testing
- Julien Leveau, Xavier Blanc, Laurent Réveillère, Jean-Rémy Falleri
Fostering the Diversity of Exploratory Testing in Web Applications. 164-174 - Matteo Biagiola, Andrea Stocco, Filippo Ricca, Paolo Tonella:
Dependency-Aware Web Test Generation. 175-185 - Phu X. Mai, Fabrizio Pastore
Metamorphic Security Testing for Web Systems. 186-197
Optimizing Testing
- Marcio Augusto Guimarães, Leonardo Fernandes
Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations. 198-208 - Qianqian Zhu, Andy Zaidman:
Massively Parallel, Highly Efficient, but What About the Test Suite Quality? Applying Mutation Testing to GPU Programs. 209-219 - Abdullah Alsharif, Gregory M. Kapfhammer, Phil McMinn:
STICCER: Fast and Effective Database Test Suite Reduction Through Merging of Similar Test Cases. 220-230
Misc 2
- Xin Yin, Iulian Neamtiu, Saketan Patil, Sean T. Andrews:
Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering Algorithms. 231-242 - Oscar Cornejo
CBR: Controlled Burst Recording. 243-253
Empirical Analysis and Program Repair
- Kesina Baral, Jeff Offutt:
An Empirical Analysis of Blind Tests. 254-262 - Maurizio Leotta
A Family of Experiments to Assess the Impact of Page Object Pattern in Web Test Suite Development. 263-273 - Marcel Böhme, Charaka Geethal, Van-Thuan Pham:
Human-In-The-Loop Automatic Program Repair. 274-285
Misc 3
- Mariano Ceccato
A Framework for In-Vivo Testing of Mobile Applications. 286-296 - Breno Miranda, Igor Lima, Owolabi Legunsen, Marcelo d'Amorim:
Prioritizing Runtime Verification Violations. 297-308
Industry Track
Test Generation & Refactoring
- Marco Pistoia, Peng Liu, Chun-Fu (Richard) Chen, Shaohan Hu, Stephen P. Wood:
Parallelization of Classical Numerical optimization in Quantum Variational Algorithms. 309-320 - Jannik Fischbach
SPECMATE: Automated Creation of Test Cases from Acceptance Criteria. 321-331 - Élodie Bernard, Julien Botella, Fabrice Ambert, Bruno Legeard, Mark Utting
Tool Support for Refactoring Manual Tests. 332-342
Misc
- Max J. Friese, Johannes Traub, Dirk Nowotka:
EC.LANG - A Language for Specifying Response Time Analyses of Event Chains. 343-352 - Thorsten Wuensche, Artur Andrzejak, Sascha Schwedes:
Detecting Higher-Order Merge Conflicts in Large Software Projects. 353-363 - Supriya Agrawal, R. Venkatesh, Ulka Shrotri, Amey Zare, Sagar Verma:
Scaling Test Case Generation For Expressive Decision Tables. 364-374
Safety & Security
- Alessandro Calò, Paolo Arcaini
Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. 375-386 - Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk:
Checking Security Properties of Cloud Service REST APIs. 387-397
Poster Papers
- Jeonghyun Joo, Seunghoon Yoo, Myunghwan Park:
Poster: Test Case Prioritization Using Error Propagation Probability. 398-401 - Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper:
Poster: Performance Testing Driven by Reinforcement Learning. 402-405 - Rubing Huang, Chenhui Cui
Poster: Is Euclidean Distance the best Distance Measurement for Adaptive Random Testing? 406-409 - Hiroyuki Kirinuki, Toshiyuki Kurabayashi, Haruto Tanno, Ippei Kumagawa:
Poster: SONAR Testing - Novel Testing Approach Based on Operation Recording and Visualization. 410-413 - Rui Prada, I. S. W. B. Prasetya
Agent-based Testing of Extended Reality Systems. 414-417
Doctoral Symposium
- Julian Harty
Fast Abstract: Data Dynamics for Testing Systems. 491-492 - Misael Costa Júnior:
Automated verification of compliance of non-functional requirements on mobile applications through metamorphic testing. 421-423 - Pouria Derakhshanfar:
Well-informed Test Case Generation and Crash Reproduction. 424-426 - Allan Mori
Anomaly Analyses to Guide Software Testing Activity. 427-429 - Saba Gholizadeh Ansari:
Toward Automated Assessment of User Experience in Extended Reality. 430-432 - Camilo Escobar-Velasquez:
Source-Codeless Testing for Android Apps. 433-435
Testing Tools Track
- Hassan Sartaj
CDST: A Toolkit for Testing Cockpit Display Systems. 436-441 - Miroslav Bures, Pavel Herout, Bestoun S. Ahmed:
Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing. 442-447 - Sakshi Udeshi
Callisto: Entropy-based Test Generation and Data Quality Assessment for Machine Learning Systems. 448-453 - Antonia Bertolino, Guglielmo De Angelis, Breno Miranda, Paolo Tonella:
Run Java Applications and Test Them In-Vivo Meantime. 454-459 - Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury:
AFLNET: A Greybox Fuzzer for Network Protocols. 460-465 - Shaobo He, Michael Emmi, Gabriela F. Ciocarlie:
ct-fuzz: Fuzzing for Timing Leaks. 466-471
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-01-13 00:50 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: