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. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Mehedi Hassan, Akond Rahman |
As Code Testing: Characterizing Test Quality in Open Source Ansible Development. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sonal Mahajan, Mukul R. Prasad |
Providing Real-time Assistance for Repairing Runtime Exceptions using Stack Overflow Posts. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Samiha Shimmi, Mona Rahimi |
Patterns of Code-to-Test Co-evolution for Automated Test Suite Maintenance. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hengbiao Yu, Banghu Yin, Xin Yi |
Symbolic Verification of Message Signatures in MPI. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Richard Rutledge, Alessandro Orso |
Automating Differential Testing with Overapproximate Symbolic Execution. |
ICST |
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. |
ICST |
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. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Amirfarhad Nilizadeh |
Automated Program Repair and Test Overfitting: Measurements and Approaches using Formal Methods. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Fitsum Meshesha Kifetew, Annibale Panichella |
Message from the Program Co-Chairs. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Katharina Götz, Patric Feldmeier, Gordon Fraser 0001 |
Model-based Testing of Scratch Programs. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Paul Fiterau-Brostean, Bengt Jonsson 0001, Konstantinos Sagonas, Fredrik Tåquist |
DTLS-Fuzzer: A DTLS Protocol State Fuzzer. |
ICST |
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. |
ICST |
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. |
ICST |
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. |
ICST |
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. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ibrahim Althomali, Gregory M. Kapfhammer, Phil McMinn |
Automated Repair of Responsive Web Page Layouts. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro |
Summary of Model Checking C++ Programs. |
ICST |
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. |
ICST |
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. |
ICST |
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. |
ICST |
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. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Robert Sebastian Herlim, Yunho Kim, Moonzoo Kim |
CITRUS: Automated Unit Testing Tool for Real-world C++ Programs. |
ICST |
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. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sudakshina Dutta, Debarshi Kumar Sanyal |
Locating Code Omission Error due to Incorrect Polymorphic Method Call. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jesse Postema, Johan Fabry, Yannick Barthol, Ana Oprescu |
Testing a PL/I Compiler Using Precomputation-based Program Generation. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Monika Rani Golla, Sangharatna Godboley |
Poster: A gCov based new profiler, gMCov, for MC/DC and SC-MCC. |
ICST |
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. |
ICST |
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. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Cedric Richter, Heike Wehrheim |
Learning Realistic Mutations: Bug Creation for Neural Bug Detectors. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | |
15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022 |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Quijano, Mahsa Varshosaz |
Model-Based Testing for System-Level Safety of Autonomous Underwater Robots. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Tuba Yavuz |
SIFT: A Tool for Property Directed Symbolic Execution of Multithreaded Software. |
ICST |
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. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Arpita Dutta |
Poster: EBFL-An Ensemble Classifier based Fault Localization. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jan Haltermann, Heike Wehrheim |
Machine Learning Based Invariant Generation: A Framework and Reproducibility Study. |
ICST |
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. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Maurizio Leotta, Antonio Molinari, Filippo Ricca |
Assessor: a PO-Based WebDriver Test Suites Generator from Selenium IDE Recordings. |
ICST |
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. |
ICST |
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. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Cecilio Cannavacciuolo, Leonardo Mariani |
Smoke Testing of Cloud Systems. |
ICST |
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. |
ICST |
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. |
ICST |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ahcheong Lee, Irfan Ariq, Yunho Kim, Moonzoo Kim |
POWER: Program Option-Aware Fuzzer for High Bug Detection Ability. |
ICST |
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. |
ICST |
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. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Qinghua Xu, Shaukat Ali 0001, Tao Yue 0002 |
Digital Twin-based Anomaly Detection in Cyber-physical Systems. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Falcini, Giuseppe Lami |
System and Software Testing in Automotive: an Empirical Study on Process Improvement Areas. |
ICST |
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. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Shouvick Mondal, Rupesh Nasre |
Summary of Hansie: Hybrid and consensus regression test prioritization. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marcos Lordello Chaim, Kesina Baral, Jeff Offutt, Mario Concilio, Roberto P. A. Araujo |
Efficiently Finding Data Flow Subsumptions. |
ICST |
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. |
ICST |
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. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Khaled Ahmed 0004, Mieszko Lis, Julia Rubin |
Mandoline: Dynamic Slicing of Android Applications with Trace-Based Alias Analysis. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gruber, Stephan Lukasczyk, Florian Kroiß, Gordon Fraser 0001 |
An Empirical Study of Flaky Tests in Python. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Henry Cox |
Differential coverage: : automating coverage analysis. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael Weiss 0004, Paolo Tonella |
Uncertainty-Wizard: Fast and User-Friendly Neural Network Uncertainty Quantification. |
ICST |
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. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jouke Stoel, Tijs van der Storm, Jurgen J. Vinju |
Modeling with Mocking. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Coppik, Oliver Schwahn, Neeraj Suri |
Fast Kernel Error Propagation Analysis in Virtualized Environments. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Malík, Tomás Vojnar |
Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects. |
ICST |
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. |
ICST |
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. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Florian Joost Slob, Sung-Shik Jongmans |
Prut4j: Protocol Unit Testing fo(u)r Java. |
ICST |
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. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gunel Jahangirova, Andrea Stocco 0001, Paolo Tonella |
Quality Metrics and Oracles for Autonomous Vehicles Testing. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini |
ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Romdhana, Mariano Ceccato, Gabriel Claudiu Georgiu, Alessio Merlo, Paolo Tonella |
COSMO: Code Coverage Made Easier for Android. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Diogo Campos, André Restivo, Hugo Sereno Ferreira, Afonso Ramos |
Automatic Program Repair as Semantic Suggestions: An Empirical Study. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Catia Trubiani |
Uncertainty-aware Exploration in Model-based Testing. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | David Trabish, Shachar Itzhaky, Noam Rinetzky |
Address-Aware Query Caching for Symbolic Execution. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele Viglianisi, Mariano Ceccato, Paolo Tonella |
Summary of: A Federated Society of Bots for Smart Contract Testing. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Arcaini, Xiao-Yi Zhang 0005, Fuyuki Ishikawa |
Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Helge Spieker, Arnaud Gotlieb |
Summary of: Adaptive Metamorphic Testing with Contextual Bandits. |
ICST |
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. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu |
RiverFuzzRL - an open-source tool to experiment with reinforcement learning for fuzzing. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Flemström, Henrik Jonsson, Eduard Paul Enoiu, Wasif Afzal |
Industrial Scale Passive Testing with T-EARS. |
ICST |
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. |
ICST |
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 |
ICST |
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. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Edi Muskardin, Andrea Pferscher |
Learning-Based Fuzzing of IoT Message Brokers. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael Weiss 0004, Paolo Tonella |
Fail-Safe Execution of Deep Learning based Systems through Uncertainty Monitoring. |
ICST |
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. |
ICST |
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. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Afsoon Afzal, Deborah S. Katz, Claire Le Goues, Christopher Steven Timperley |
Simulation for Robotics Test Automation: Developer Perspectives. |
ICST |
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. |
ICST |
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. |
ICST |
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. |
ICST |
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. |
ICST |
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. |
ICST |
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. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jiyuan Wang, Fuchen Ma, Yu Jiang 0001 |
Poster: Fuzz Testing of Quantum Program. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dhriti Khanna, Rahul Purandare, Subodh Sharma 0001 |
Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks. |
ICST |
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. |
ICST |
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. |
ICST |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Maslanka, Bartosz Zielinski 0002 |
Poster: Testing Complex Event Patterns. |
ICST |
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. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani |
CBR: Controlled Burst Recording. |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Antonia Bertolino, Guglielmo De Angelis, Breno Miranda, Paolo Tonella |
Run Java Applications and Test Them In-Vivo Meantime. |
ICST |
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? |
ICST |
2020 |
DBLP DOI BibTeX RDF |
|