Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Daniele Gamba, Rita Pedercini |
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 312-322, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Mehedi Hassan, Akond Rahman |
As Code Testing: Characterizing Test Quality in Open Source Ansible Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 208-219, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sonal Mahajan, Mukul R. Prasad |
Providing Real-time Assistance for Repairing Runtime Exceptions using Stack Overflow Posts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 196-207, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Samiha Shimmi, Mona Rahimi |
Patterns of Code-to-Test Co-evolution for Automated Test Suite Maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 116-127, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hengbiao Yu, Banghu Yin, Xin Yi |
Symbolic Verification of Message Signatures in MPI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 185-195, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Richard Rutledge, Alessandro Orso |
Automating Differential Testing with Overapproximate Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 256-266, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Juyeon Yoon, Seungjoon Chung, Kihyuck Shin, Jinhan Kim, Shin Hong, Shin Yoo |
Repairing Fragile GUI Test Cases Using Word and Layout Embedding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 291-301, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Saikat Dutta 0001, Anshul Arunachalam, Sasa Misailovic |
To Seed or Not to Seed? An Empirical Analysis of Usage of Seeds for Testing in Machine Learning Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 151-161, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Amirfarhad Nilizadeh |
Automated Program Repair and Test Overfitting: Measurements and Approaches using Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 480-482, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Fitsum Meshesha Kifetew, Annibale Panichella |
Message from the Program Co-Chairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. xiii, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Katharina Götz, Patric Feldmeier, Gordon Fraser 0001 |
Model-based Testing of Scratch Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 411-421, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Paul Fiterau-Brostean, Bengt Jonsson 0001, Konstantinos Sagonas, Fredrik Tåquist |
DTLS-Fuzzer: A DTLS Protocol State Fuzzer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 456-458, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Delgado-Pérez, Francisco Chicano |
An Experimental and Practical Study on the Equivalent Mutant Connection: An Evolutionary Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 462, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Riyadh Mahmood, Jay Pennington, Danny Tsang, Tan Tran, Andrea Bogle |
A Framework for Automated API Fuzzing at Enterprise Scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 377-388, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ke Mao, Timotej Kapus, Lambros Petrou, Ákos Hajdu, Matteo Marescotti, Andreas Löscher, Mark Harman, Dino Distefano |
FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 267-278, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gruber, Gordon Fraser 0001 |
A Survey on How Test Flakiness Affects Developers and What Support They Need To Address It. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 82-92, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ibrahim Althomali, Gregory M. Kapfhammer, Phil McMinn |
Automated Repair of Responsive Web Page Layouts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 140-150, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro |
Summary of Model Checking C++ Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 461, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Senchenko, Jordan Patterson, Hamman Samuel, Dan Ispir |
SUPERNOVA: Automating Test Selection and Defect Prevention in AAA Video Games Using Risk Based Testing and Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 345-354, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | João Becho, Frederico Cerveira, João Leitão 0001, Rui André Oliveira |
TESRAC: A Framework for Test Suite Reduction Assessment at Scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 174-184, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ali S. Alotaibi, Paul T. Chiou, William G. J. Halfond |
Automated Detection of TalkBack Interactive Accessibility Failures in Android Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 232-243, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Rachel Tzoref-Brill, Saurabh Sinha, Antonio Abu Nassar, Victoria Goldin, Haim Kermany |
TackleTest: A Tool for Amplifying Test Generation via Type-Based Combinatorial Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 444-455, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Robert Sebastian Herlim, Yunho Kim, Moonzoo Kim |
CITRUS: Automated Unit Testing Tool for Real-world C++ Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 400-410, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Man Zhang 0001, Asma Belhadi, Andrea Arcuri |
JavaScript Instrumentation for Search-Based Software Testing: A Study with RESTful APIs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 105-115, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sudakshina Dutta, Debarshi Kumar Sanyal |
Locating Code Omission Error due to Incorrect Polymorphic Method Call. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 465-468, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jesse Postema, Johan Fabry, Yannick Barthol, Ana Oprescu |
Testing a PL/I Compiler Using Precomputation-based Program Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 334-344, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Monika Rani Golla, Sangharatna Godboley |
Poster: A gCov based new profiler, gMCov, for MC/DC and SC-MCC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 469-472, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Okan Örsan Özener, Hasan Sözer |
Summary of An Effective Formulation of the Multi-Criteria Test Suite Minimization Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 459, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson 0001, Konstantinos Sagonas |
Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 70-81, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Cedric Richter, Heike Wehrheim |
Learning Realistic Mutations: Bug Creation for Neural Bug Detectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 162-173, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | |
15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![IEEE, 978-1-6654-6679-0 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Quijano, Mahsa Varshosaz |
Model-Based Testing for System-Level Safety of Autonomous Underwater Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 486-488, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Tuba Yavuz |
SIFT: A Tool for Property Directed Symbolic Execution of Multithreaded Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 433-443, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sarra Habchi, Guillaume Haben, Mike Papadakis, Maxime Cordy, Yves Le Traon |
A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 244-255, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Arpita Dutta |
Poster: EBFL-An Ensemble Classifier based Fault Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 473-476, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jan Haltermann, Heike Wehrheim |
Machine Learning Based Invariant Generation: A Framework and Reproducibility Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 12-23, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Neetha Jambigi, Thomas Bach, Felix Schabernack, Michael Felderer |
Automatic Error Classification and Root Cause Determination while Replaying Recorded Workload Data at SAP HANA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 323-333, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Maurizio Leotta, Antonio Molinari, Filippo Ricca |
Assessor: a PO-Based WebDriver Test Suites Generator from Selenium IDE Recordings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 389-399, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Renhe Jiang, Zhengzhao Chen, Yu Pei 0001, Minxue Pan, Tian Zhang 0001, Xuandong Li |
Documentation-based functional constraint generation for library methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 463, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Dario Asprone, Jonathan Metzman, Abhishek Arya, Giovani Guizzo, Federica Sarro |
Comparing Fuzzers on a Level Playing Field with FuzzBench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 302-311, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Cecilio Cannavacciuolo, Leonardo Mariani |
Smoke Testing of Cloud Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 47-57, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Misoo Kim, Youngkyoung Kim, Eunseok Lee 0001 |
An Empirical Study of IR-based Bug Localization for Deep Learning-based Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 128-139, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Owain Parry, Gregory M. Kapfhammer, Michael Hilton, Phil McMinn |
Evaluating Features for Machine Learning Detection of Order- and Non-Order-Dependent Flaky Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 93-104, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ahcheong Lee, Irfan Ariq, Yunho Kim, Moonzoo Kim |
POWER: Program Option-Aware Fuzzer for High Bug Detection Ability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 220-231, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pouria Derakhshanfar, Xavier Devroey, Gilles Perrouin, Andy Zaidman, Arie van Deursen |
Summary of Search-based Crash Reproduction using Behavioral Model Seeding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 281, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Markus Borg, Raja Ben Abdessalem, Shiva Nejati, François-Xavier Jegeden, Donghwan Shin 0001 |
Digital Twins Are Not Monozygotic - Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 383-393, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Qinghua Xu, Shaukat Ali 0001, Tao Yue 0002 |
Digital Twin-based Anomaly Detection in Cyber-physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 205-216, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Falcini, Giuseppe Lami |
System and Software Testing in Automotive: an Empirical Study on Process Improvement Areas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 253-262, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Fritzsch, Tobias Schmid, Stefan Wagner 0001 |
Experiences from Large-Scale Model Checking: Verifying a Vehicle Control System with NuSMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 372-382, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Shouvick Mondal, Rupesh Nasre |
Summary of Hansie: Hybrid and consensus regression test prioritization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 278-280, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marcos Lordello Chaim, Kesina Baral, Jeff Offutt, Mario Concilio, Roberto P. A. Araujo |
Efficiently Finding Data Flow Subsumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 94-104, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Miroslav Bures, Bestoun S. Ahmed, Vaclav Rechtberger, Matej Klima, Michal Trnka, Miroslav Jaros, Xavier J. A. Bellekens, Dani Almog, Pavel Herout |
PatrIoT: IoT Automated Interoperability and Integration Testing Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 454-459, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Shaukat Ali 0001, Paolo Arcaini, Xinyi Wang, Tao Yue 0002 |
Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 13-23, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Khaled Ahmed 0004, Mieszko Lis, Julia Rubin |
Mandoline: Dynamic Slicing of Android Applications with Trace-Based Alias Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 105-115, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gruber, Stephan Lukasczyk, Florian Kroiß, Gordon Fraser 0001 |
An Empirical Study of Flaky Tests in Python. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 148-158, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Henry Cox |
Differential coverage: : automating coverage analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 424-429, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael Weiss 0004, Paolo Tonella |
Uncertainty-Wizard: Fast and User-Friendly Neural Network Uncertainty Quantification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 436-441, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dario Olianas, Maurizio Leotta, Filippo Ricca, Matteo Biagiola, Paolo Tonella |
STILE: a Tool for Parallel Execution of E2E Web Test Scripts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 460-465, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jouke Stoel, Tijs van der Storm, Jurgen J. Vinju |
Modeling with Mocking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 59-70, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Coppik, Oliver Schwahn, Neeraj Suri |
Fast Kernel Error Propagation Analysis in Virtualized Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 159-170, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Malík, Tomás Vojnar |
Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 329-339, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jeongju Sohn, Gabin An, Jingun Hong, Dongwon Hwang, Shin Yoo |
Assisting Bug Report Assignment Using Automated Fault Localisation: An Industrial Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 284-294, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Raphael Eidenbenz, Carsten Franke 0001, Thanikesavan Sivanthi, Sandro Schönborn |
Boosting Exploratory Testing of Industrial Automation Systems with AI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 362-371, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Florian Joost Slob, Sung-Shik Jongmans |
Prut4j: Protocol Unit Testing fo(u)r Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 448-453, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Robert White, Jens Krinke, Earl T. Barr, Federica Sarro, Chaiyong Ragkhitwetsagul |
Artefact Relation Graphs for Unit Test Reuse Recommendation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 137-147, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gunel Jahangirova, Andrea Stocco 0001, Paolo Tonella |
Quality Metrics and Oracles for Autonomous Vehicles Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 194-204, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini |
ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 442-447, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Romdhana, Mariano Ceccato, Gabriel Claudiu Georgiu, Alessio Merlo, Paolo Tonella |
COSMO: Code Coverage Made Easier for Android. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 417-423, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Diogo Campos, André Restivo, Hugo Sereno Ferreira, Afonso Ramos |
Automatic Program Repair as Semantic Suggestions: An Empirical Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 217-228, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Catia Trubiani |
Uncertainty-aware Exploration in Model-based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 71-81, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | David Trabish, Shachar Itzhaky, Noam Rinetzky |
Address-Aware Query Caching for Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 116-126, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele Viglianisi, Mariano Ceccato, Paolo Tonella |
Summary of: A Federated Society of Bots for Smart Contract Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 282-283, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Arcaini, Xiao-Yi Zhang 0005, Fuyuki Ishikawa |
Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 295-305, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Helge Spieker, Arnaud Gotlieb |
Summary of: Adaptive Metamorphic Testing with Contextual Bandits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 275-277, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Xia Li 0009, Jiajun Jiang, Samuel Benton, Yingfei Xiong 0001, Lingming Zhang 0001 |
A Large-scale Study on API Misuses in the Wild. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 241-252, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu |
RiverFuzzRL - an open-source tool to experiment with reinforcement learning for fuzzing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 430-435, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Flemström, Henrik Jonsson, Eduard Paul Enoiu, Wasif Afzal |
Industrial Scale Passive Testing with T-EARS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 351-361, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mingzhe Wang, Jie Liang 0006, Chijin Zhou, Yuanliang Chen, Zhiyong Wu, Yu Jiang 0001 |
Industrial Oriented Evaluation of Fuzzing Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 306-317, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | |
14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![IEEE, 978-1-7281-6836-4 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tung Dao, Max Wang, Na Meng 0001 |
Exploring the Triggering Modes of Spectrum-Based Fault Localization: An Industrial Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 406-416, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Edi Muskardin, Andrea Pferscher |
Learning-Based Fuzzing of IoT Message Brokers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 47-58, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael Weiss 0004, Paolo Tonella |
Fail-Safe Execution of Deep Learning based Systems through Uncertainty Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 24-35, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hong Jin Kang, Sheng Qin Sim, David Lo 0001 |
IoTBox: Sandbox Mining to Prevent Interaction Threats in IoT Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 182-193, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Daniil Stepanov, Marat Akhin, Mikhail A. Belyaev |
Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 318-328, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Afsoon Afzal, Deborah S. Katz, Claire Le Goues, Christopher Steven Timperley |
Simulation for Robotics Test Automation: Developer Perspectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 263-274, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mac Malone, Yicheng Wang, Kevin Z. Snow, Fabian Monrose |
Applicable Micropatches and Where to Find Them: Finding and Applying New Security Hot Fixes to Old Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 394-405, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | João Paulo Diniz, Chu-Pan Wong, Christian Kästner, Eduardo Figueiredo 0001 |
Dissecting Strongly Subsuming Second-Order Mutants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 171-181, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Emil Alégroth, Elin Petersén, John Tinnerholm |
A Failed attempt at creating Guidelines for Visual GUI Testing: An industrial case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 340-350, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Zhenyue Long, Guoquan Wu, Yifei Zhang, Wei Chen 0018, Jun Wei 0001 |
Poster: Repair Cross Browser Layout Issues by Combining Learning and Search-based technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 470-473, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Maryam Vahdat Pour, Zhuo Li, Lei Ma 0003, Hadi Hemmati |
A Search-Based Testing Framework for Deep Neural Networks of Source Code Embedding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 36-46, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Leopoldo Teixeira, Breno Miranda, Henrique Rebêlo, Marcelo d'Amorim |
Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 82-93, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jiyuan Wang, Fuchen Ma, Yu Jiang 0001 |
Poster: Fuzz Testing of Quantum Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 466-469, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dhriti Khanna, Rahul Purandare, Subodh Sharma 0001 |
Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 1-12, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kesina Baral, Jeff Offutt, Fiza Mulla |
Self determination: A comprehensive strategy for making automated tests more effective and efficient. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 127-136, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Amirfarhad Nilizadeh, Gary T. Leavens, Xuan-Bach Dinh Le, Corina S. Pasareanu, David R. Cok |
Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 229-240, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Maslanka, Bartosz Zielinski 0002 |
Poster: Testing Complex Event Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pp. 474-477, 2021, IEEE, 978-1-7281-6836-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Julien Leveau, Xavier Blanc 0001, Laurent Réveillère, Jean-Rémy Falleri, Romain Rouvoy |
Fostering the Diversity of Exploratory Testing in Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 13th IEEE International Conference on Software Testing, Validation and Verification, ICST 2020, Porto, Portugal, October 24-28, 2020, pp. 164-174, 2020, IEEE, 978-1-7281-5778-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani |
CBR: Controlled Burst Recording. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 13th IEEE International Conference on Software Testing, Validation and Verification, ICST 2020, Porto, Portugal, October 24-28, 2020, pp. 243-253, 2020, IEEE, 978-1-7281-5778-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Antonia Bertolino, Guglielmo De Angelis, Breno Miranda, Paolo Tonella |
Run Java Applications and Test Them In-Vivo Meantime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 13th IEEE International Conference on Software Testing, Validation and Verification, ICST 2020, Porto, Portugal, October 24-28, 2020, pp. 454-459, 2020, IEEE, 978-1-7281-5778-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rubing Huang, Chenhui Cui, Weifeng Sun, Dave Towey |
Poster: Is Euclidean Distance the best Distance Measurement for Adaptive Random Testing? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 13th IEEE International Conference on Software Testing, Validation and Verification, ICST 2020, Porto, Portugal, October 24-28, 2020, pp. 406-409, 2020, IEEE, 978-1-7281-5778-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|