![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
16th ICST 2023: Dublin, Ireland - Workshops
- IEEE International Conference on Software Testing, Verification and Validation, ICST 2023 - Workshops, Dublin, Ireland, April 16-20, 2023. IEEE 2023, ISBN 979-8-3503-3335-0
- Andreas Bauer
, Emil Alégroth:
We Tried and Failed: An Experience Report on a Collaborative Workflow for GUI-based Testing. 1-9 - Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu
:
An Experiment in Requirements Engineering and Testing using EARS Notation for PLC Systems. 10-17 - Rong Gu, Eduard Enoiu:
Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems. 18-27 - Francesco Basciani, Vittorio Cortellessa, Sergio Di Martino, Dario Di Nucci
, Daniele Di Pompeo, Carmine Gravino, Luigi Libero Lucio Starace:
ADAS Verification in Co-Simulation: Towards a Meta-Model for Defining Test Scenarios. 28-35 - Tannaz Zameni, Petra van den Bos, Jan Tretmans, Johan Foederer, Arend Rensink:
From BDD Scenarios to Test Case Generation. 36-44 - Rafael S. Braz, Adenilso da Silva Simão, Roland Groz, Catherine Oriat:
Improving Model Learning by Inferring Separating Sequences from Traces. 45-51 - Jaime Cuartas, Jesús Aranda
, Maxime Cordy, James Ortiz
, Gilles Perrouin
, Pierre-Yves Schobbens
:
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL. 52-61 - Daniel Zimmermann, Anne Koziolek:
Automating GUI-based Software Testing with GPT-3. 62-65 - Aurora Ramírez, Mario Berrios, José Raúl Romero, Robert Feldt:
Towards Explainable Test Case Prioritisation with Learning-to-Rank Models. 66-69 - Nour Chetouane, Franz Wotawa
:
Generating concrete test cases from vehicle data using models obtained from clustering. 70-77 - Felix Dobslaw, Robert Feldt:
Similarities of Testing Programmed and Learnt Software. 78-81 - Frédéric Tamagnan, Fabrice Bouquet, Alexandre Vernotte, Bruno Legeard:
Regression Test Generation by Usage Coverage Driven Clustering on User Traces. 82-89 - Viraj Rohit Gala
, Martin A. Schneider
:
Evaluating the Effectiveness of Attacks and Defenses on Machine Learning Through Adversarial Samples. 90-97 - José Soltren, Kyle Mulligan:
Enabling Pre-Merge CI on your TV. 98 - Carlos Arguelles:
How we use Hermetic, Ephemeral Test Environments at Google to reduce Test Flakiness. 99 - Pierre Martou, Benoît Duhoux, Kim Mens
, Axel Legay:
Beyond Combinatorial Interaction Testing: On the need for transition testing in dynamically adaptive context-aware systems. 100-104 - Muralidhar Yalla, Mahesh Venkataraman, Mallika Fernandes:
Deep Industry Use Cases on Context-Aware Adaptive Mobile Systems Experience Testing. 105-106 - Alessio Gambi, Hemant Gouni, Daniel Berreiter, Vsevolod Tymofyeyev, Mattia Fazzini
:
Action-Based Test Carving for Android Apps. 107-116 - Tommaso Fulcini, Riccardo Coppola, Marco Torchiano
, Luca Ardito
:
An analysis of widget layout attributes to support Android GUI-based testing. 117-125 - Matej Klima, Miroslav Bures, Michaela Kubisova, Pavel Herout:
Open Benchmark Testbed to Evaluate Effectiveness of Path-based Tests. 126-130 - Rohini Bisht, Selomie Kindu Ejigu, Gregory Gay, Predrag Filipovikj:
Identifying Redundancies and Gaps Across Testing Levels During Verification of Automotive Software. 131-139 - Humaid Mollah, Petra van den Bos:
From User Stories to End-to-end Web Testing. 140-148 - Yunpeng Ma, Khalil Younis, Bestoun S. Ahmed, Andreas Kassler, Pavel Krakhmalev
, Andreas Thore, Hans Lindback:
Automated and Systematic Digital Twins Testing for Industrial Processes. 149-158 - Tanwir Ahmad
, Dragos Truscan, Jüri Vain:
Preliminary Results in Using Attention for Increasing Attack Identification Efficiency. 159-164 - Chang-Hui Bae, Euteum Choi, Yong-Kee Jun, Ok-Kyoon Ha:
Lightweight Method for On-the-fly Detection of Multivariable Atomicity Violations. 165-171 - Marc P. Hauer, Lena Müller-Kress
, Gertraud Leimüller, Katharina Anna Zweig:
Using Assurance Cases to assure the fulfillment of non-functional requirements of AI-based systems - Lessons learned. 172-179 - Yavuz Köroglu
, Franz Wotawa
:
Bottleneck Analysis via Grammar-based Performance Fuzzing*. 180-185 - Jonatan Larsson, Eduard Paul Enoiu:
Test Generation and Mutation Analysis of Energy Consumption using UPPAAL SMC and MATS. 186-189 - Gang Qin, Junjun Zheng, Tatsuhiro Tsuchiya:
Meta-Heuristic Algorithm for Constructing Higher-Index Covering Arrays for Combinatorial Interaction Testing. 190-196 - Andrea Bombarda
, Angelo Gargantini:
Incremental generation of combinatorial test suites starting from existing seed tests. 197-205 - Tyler Cody, Laura J. Freeman:
Metric Learning Improves the Ability of Combinatorial Coverage Metrics to Anticipate Classification Error. 206-213 - Simon Diemert, Adam Casey, Jeremiah Robertson:
Challenging Autonomy with Combinatorial Testing. 214-222 - Hanefi Mercan, Cemal Yilmaz:
Hints in Unified Combinatorial Interaction Testing. 223-227 - Krishna Khadka, Jaganmohan Chandrasekaran, Yu Lei, Raghu N. Kacker, D. Richard Kuhn:
Synthetic Data Generation Using Combinatorial Testing and Variational Autoencoder. 228-236 - Ludwig Kampel, Michael Wagner
, Dimitris E. Simos, Mihai Nica, Dino Dodig, David Kaufmann, Franz Wotawa
:
Applying CT-FLA for AEB Function Testing: A Virtual Driving Case Study. 237-245 - D. Richard Kuhn, Mohammad S. Raunak, Raghu N. Kacker:
Ordered t-way Combinations for Testing State-based Systems. 246-254 - Jovan Zivanovic, Manuel Leithner, Dimitris E. Simos, Michael Pitzer, Peter J. Slanina:
Combinatorial Methods for HTML Sanitizer Security Testing. 255-259 - Ludwig Kampel, Paris Kitsos, Dimitris E. Simos:
Summary of Locating Hardware Trojans using Combinatorial Testing for Cryptographic Circuits. 260-262 - Bernhard Garn, Jovan Zivanovic, Manuel Leithner, Dimitris E. Simos:
Summary of Combinatorial Methods for Dynamic Gray-Box SQL Injection Testing. 263-265 - Bernhard Garn, Dominik-Philip Schreiber, Dimitris E. Simos, Rick Kuhn, Jeffrey M. Voas, Raghu Kacker:
Summary of Combinatorial methods for testing Internet of Things smart home systems. 266-267 - Michael Wagner
, Charles J. Colbourn, Dimitris E. Simos:
Summary of In-Parameter-Order strategies for covering perfect hash families. 268-270 - Jon D. Hagar, Marc-Florian Wendland:
Defining Software Test Architectures with the UML Testing Profile. 271-280 - Junji Suzuki, Yasuharu Nishi, Shoma Tanaka, Kimihiko Naruse, Minako Shimoji, Zhen Zhong:
Semantic-based and Learning-based Regression Test Selection focusing on Test Objectives. 281-287 - Yasuharu Nishi, Hidenori Ito, Yuma Torikoshi:
Semantic Metamorphic Testing focusing on Object Rarity. 288-291 - Luis-Vinicio León-Carrillo:
Elements for a Test(-ware) Architecture Language. 292-299 - Danial Nikbin Azmoudeh, Yvan Labiche:
Analysis of mutation operators for FSM testing. 300-307 - Bambi Zhuang, James Perretta, Arjun Guha, Jonathan Bell:
A Tool for Mutation Analysis in Racket. 308-313 - Jinhan Kim, Jongchan Park, Shin Yoo:
The Inversive Relationship Between Bugs and Patches: An Empirical Study. 314-323 - Jonathan Örgård, Gregory Gay, Francisco Gomes de Oliveira Neto, Kim Viggedal:
Mutation Testing in Continuous Integration: An Exploratory Industrial Case Study. 324-333 - Sten Vercammen
, Markus Borg, Serge Demeyer:
Validation of Mutation Testing in the Safety Critical Industry through a Pilot Study. 334-343 - Qusay Idrees Sarhan, Tamás Gergely, Árpád Beszédes:
Systematically Generated Formulas for Spectrum-Based Fault Localization. 344-352 - Cristina Landing, Xinrong Zhao, Martin Längkvist, Amy Loutfi:
An Intelligent Monitoring Algorithm to Detect Dependencies between Test Cases in the Manual Integration Process. 353-360 - Theofilos Toronidis, Carlos Valdivia Yagüe, Yulin Cui:
Cloudify the RAN System Test Strategy. 361-364 - Konrad Schneid, Sebastian Thöne, Herbert Kuchen:
Modification-Impact based Test Prioritization for Process-Driven Applications. 365-372 - Maryam Havakeshian, Yvan Labiche, Shiva Nejati, Stéphane Desjardins, Kourosh Haghighi:
Test Cost Reduction for 5G and Beyond using Machine Learning. 373-376 - Cristina Gatt, Mark Micallef, Mark Bugeja:
Marco Polo - A Tool for Automated Exploratory Testing of Previously Unseen Online Stores. 377-380 - Maryam Barani, Yvan Labiche, Antoine Rollet:
On factors that impact the relationship between code coverage and test suite effectiveness: a survey. 381-388 - Attila Szatmári
, Tamás Gergely, Árpád Beszédes:
ISTQB-based Software Testing Education: Advantages and Challenges. 389-396 - Ayodele A. Barrett, Eduard Paul Enoiu, Wasif Afzal:
On the Current State of Academic Software Testing Education in Sweden. 397-404 - Martin Balfroid, Pierre Luycx, Benoît Vanderose
, Xavier Devroey:
An Empirical Evaluation of Regular and Extreme Mutation Testing for Teaching Software Testing. 405-412 - Bingyang Wei:
Teaching Test-Driven Development and Object-Oriented Design by Example. 413-421 - Iosif Itkin, Natia Sirbiladze, Elena Treshcheva
, Rostislav Yavorskiy:
Intracompany Training in Software Testing: Experience Report. 422-425 - Philipp Straubinger, Laura Caspari, Gordon Fraser:
Code Critters: A Block-Based Testing Game. 426-429 - Bhuvana Gopal, Stephen Cooper:
Process Oriented Guided Inquiry-based learning-like pedagogy (POGIL-like) in Online Software Testing and DevOps - A Replication Study. 438-445 - Sajed Jalil
, Suzzana Rafi, Thomas D. LaToza, Kevin Moran, Wing Lam:
ChatGPT and Software Testing Education: Promises & Perils. 4130-4137
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.