default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th ICST 2017: Tokyo, Japan
- 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017. IEEE Computer Society 2017, ISBN 978-1-5090-6031-3
Research Track
Fault Localization and Injection
- Yun Guo, Amihai Motro, Nan Li:
Localizing Faults in SQL Predicates. 1-11 - Alexandre Perez, Rui Abreu
, Marcelo d'Amorim:
Prevalence of Single-Fault Fixes and Its Impact on Fault Localization. 12-22 - Eunjin Jeong, Namgoo Lee, Jinhan Kim, Duseok Kang, Soonhoi Ha:
FIFA: A Kernel-Level Fault Injection Framework for ARM-Based Embedded Linux System. 23-34
Debugging, Composite Faults, and Complexity Analysis
- Jing Xu, Yu Lei, Richard H. Carver:
Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures. 35-46 - Rahul Gopinath, Carlos Jensen, Alex Groce:
The Theory of Composite Faults. 47-57 - Kasper Søe Luckow, Rody Kersten, Corina S. Pasareanu:
Symbolic Complexity Analysis Using Context-Preserving Histories. 58-68
Security Testing
- Kristoffer Kleine, Dimitris E. Simos:
Coveringcerts: Combinatorial Methods for X.509 Certificate Testing. 69-79 - Sultan S. Al-Qahtani, Ellis E. Eghan, Juergen Rilling:
Recovering Semantic Traceability Links between APIs and Security Vulnerabilities: An Ontological Modeling Approach. 80-91 - Zhiyuan Wan, David Lo, Xin Xia, Liang Cai, Shanping Li:
Mining Sandboxes for Linux Containers. 92-102
Regression Testing
- Augusto Born de Oliveira, Sebastian Fischmeister, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney:
Perphecy: Performance Regression Test Selection Made Simple but Effective. 103-113 - Ibrahim Alagöz, Thomas Herpel, Reinhard German:
A Selection Method for Black Box Regression Testing with a Statistically Defined Quality Level. 114-125 - Andrea Arcuri, Gordon Fraser, René Just:
Private API Access and Functional Mocking in Automated Unit Test Generation. 126-137
Web and Mobile Applications
- Jun-Wei Lin, Farn Wang, Paul Chu:
Using Semantic Similarity in Crawling-Based Web Application Testing. 138-148 - Mattia Fazzini, Eduardo Noronha de Andrade Freitas, Shauvik Roy Choudhary, Alessandro Orso:
Barista: A Technique for Recording, Encoding, and Running Platform Independent Android Tests. 149-160 - Xiao Li, Nana Chang, Yan Wang, Haohua Huang, Yu Pei, Linzhang Wang, Xuandong Li:
ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications. 161-171
Parallel Systems and Concurrency
- Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Pei Liu, Jialiang Chang, Yu Hao, Ting Liu:
Automated Testing of Definition-Use Data Flow for Multithreaded Programs. 172-183 - Abraham Chan, Stefan Winter, Habib Saissi, Karthik Pattabiraman, Neeraj Suri:
IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants. 184-195 - Ricardo J. Dias, Carla Ferreira, Jan Fiedor, João M. Lourenço, Ales Smrcka, Diogo G. Sousa, Tomás Vojnar:
Verifying Concurrent Programs Using Contracts. 196-206
Empirics on Testing
- Fabian Trautsch, Jens Grabowski:
Are There Any Unit Tests? An Empirical Study on Unit Testing in Open Source Python Projects. 207-218 - Foundjem Armstrong, Foutse Khomh, Bram Adams:
Broadcast vs. Unicast Review Technology: Does It Matter? 219-229 - Amin Milani Fard, Ali Mesbah:
JavaScript: The (Un)Covered Parts. 230-240
Model-Based Testing I
- Hayes Converse, Oswaldo Olivo, Sarfraz Khurshid:
Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution. 241-252 - Neil Walkinshaw, Gordon Fraser:
Uncertainty-Driven Black-Box Test Data Generation. 253-263 - Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, Sarfraz Khurshid:
Automated Test Generation and Mutation Testing for Alloy. 264-275
Model-Based Testing II
- Martin Tappler, Bernhard K. Aichernig, Roderick Bloem:
Model-Based Testing IoT Communication via Active Automata Learning. 276-287 - Cyrille Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
Model-Based API Testing of Apache ZooKeeper. 288-298 - Chunhui Wang, Fabrizio Pastore, Lionel C. Briand:
System Testing of Timing Requirements Based on Use Cases and Timed Automata. 299-309
Automated and Run-Time Testing
- Alex Gyori, Pranav Garg, Edgar Pek, P. Madhusudan:
Efficient Incrementalized Runtime Checking of Linear Measures on Lists. 310-320 - Qianqian Wang, Yuriy Brun, Alessandro Orso:
Behavioral Execution Comparison: Are Tests Representative of Field Behavior? 321-332 - Simon M. Poulding, Robert Feldt:
Automated Random Testing in Multiple Dispatch Languages. 333-344
Search-Based Testing
- Gregory Gay:
The Fitness Function for the Job: Search-Based Generation of Test Suites That Detect Real Faults. 345-355 - Sadeeq Jan, Cu D. Nguyen, Andrea Arcuri, Lionel C. Briand:
A Search-Based Testing Approach for XML Injection Vulnerabilities in Web Applications. 356-366 - Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen:
CBGA-ES: A Cluster-Based Genetic Algorithm with Elitist Selection for Supporting Multi-Objective Test Optimization. 367-378
Model Checking and Verification
- Zheng Cheng, Massimo Tisi:
Incremental Deductive Verification for Relational Model Transformations. 379-389 - Bernhard K. Aichernig, Richard Schumi:
Statistical Model Checking Meets Property-Based Testing. 390-400 - Fabrizio Pastore, Daniela Micucci, Leonardo Mariani:
Timed k-Tail: Automatic Inference of Timed Automata. 401-411
New Methods and Empirical Results (Short Papers)
- Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Paul Pettersson:
A Comparative Study of Manual and Automated Testing for Industrial Control Software. 412-417 - Junjie Chen, Yanwei Bai, Dan Hao, Lingming Zhang, Lu Zhang, Bing Xie:
How Do Assertions Impact Coverage-Based Test-Suite Reduction? 418-423 - Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation. 424-429 - Thomas Laurent, Mike Papadakis, Marinos Kintis, Christopher Henard, Yves Le Traon, Anthony Ventresque:
Assessing and Improving the Mutation Testing Practice of PIT. 430-435
New Theories and Tools (Short Papers)
- Michaël Marcozzi, Mickaël Delahaye, Sébastien Bardin, Nikolai Kosmatov, Virgile Prevosto:
Generic and Effective Specification of Structural Test Objectives. 436-441 - Reed Milewicz, Peter Pirkelbauer:
Ariadne: Hybridizing Directed Model Checking and Static Analysis. 442-447 - Matthew Patrick, Ruairi Donnelly, Christopher A. Gilligan:
A Toolkit for Testing Stochastic Simulations against Statistical Oracles. 448-453 - Alessio Gambi, Alessandra Gorla, Andreas Zeller:
O!Snap: Cost-Efficient Testing in the Cloud. 454-459
Testing Tool Papers Track
Model Checking and DSL-Based Testing
- Anurag Dwarakanath, Dipin Era, Aditya Priyadarshi, Neville Dubash, Sanjay Podder:
Accelerating Test Automation through a Domain Specific Language. 460-467 - Priyanka Darke, Bharti Chimdyalwar, Avriti Chauhan, R. Venkatesh:
Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking. 468-475 - Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
NuSeen: A Tool Framework for the NuSMV Model Checker. 476-483
Code Analysis and White Box Testing
- Benjamin Holland, Ganesh Ram Santhanam, Suresh C. Kothari:
Transferring State-of-the-Art Immutability Analyses: Experimentation Toolbox and Accuracy Benchmark. 484-491 - Junjie Tang, Xingmin Cui, Ziming Zhao, Shanqing Guo, Xin-Shun Xu, Chengyu Hu, Tao Ban, Bing Mao:
NIVAnalyzer: A Tool for Automatically Detecting and Verifying Next-Intent Vulnerabilities in Android Apps. 492-499 - Michaël Marcozzi, Sébastien Bardin, Mickaël Delahaye, Nikolai Kosmatov, Virgile Prevosto:
Taming Coverage Criteria Heterogeneity with LTest. 500-507 - Hiroshi Ukai, Xiao Qu:
Test Design as Code: JCUnit. 508-515
Dynamic Analysis
- Daniel Flemström, Thomas Gustafsson, Avenir Kobetski:
SAGA Toolbox: Interactive Testing of Guarded Assertions. 516-523 - Dusica Marijan, Marius Liaaen, Arnaud Gotlieb, Sagar Sen, Carlo Ieva:
TITAN: Test Suite Optimization for Highly Configurable Software. 524-531 - Haiyang Sun, Andrea Rosà, Omar Javed, Walter Binder:
ADRENALIN-RV: Android Runtime Verification Using Load-Time Weaving. 532-539
Industry Track
- Daniel S. Fowler, Madeline Cheah, Siraj Ahmed Shaikh, Jeremy W. Bryans:
Towards a Testbed for Automotive Cybersecurity. 540-541 - Rudolf Ramler, Robert Hoschek:
How to Test in Sixteen Languages? Automation Support for Localization Testing. 542-543 - Abdullah Al-Nayeem, Krzysztof Ostrowski, Sebastian Pueblas, Christophe Restif, Sai Zhang:
Information Needs for Validating Evolving Software Systems: An Exploratory Study at Google. 544-545 - Rashid Darwish, Lynnie Nakyanzi Gwosuta, Richard Torkar:
A Controlled Experiment on Coverage Maximization of Automated Model-Based Software Test Cases in the Automotive Industry. 546-547 - Yilin Yang, Xinhai Huang, Xuefei Hao, Zicong Liu, Zhenyu Chen:
An Industrial Study of Natural Language Processing Based Test Case Prioritization. 548-549
International Software Testing Contest
- Emil Alégroth, Shinsuke Matsuki, Tanja E. J. Vos, Kinji Akemine:
Overview of the ICST International Software Testing Contest. 550-551 - Yun Guo:
Localizing and Fixing Faults in SQL Predicates. 555-556 - Xiaodong Zhang:
Debugging Multithreaded Programs Using Symbolic Analysis. 557-558 - Thierry Titcheu Chekam:
Automated and Scalable Mutation Testing. 559-560 - Mojdeh Golagha:
A Framework for Failure Diagnosis. 561-562 - Sultan S. Al-Qahtani:
Enhancing Trust - Software Vulnerability Analysis Framework. 563-564 - Fabian Trautsch:
Reflecting the Adoption of Software Testing Research in Open-Source Projects. 565-566 - Ryo Yanase:
Abstraction Refinement for Non-Zeno Fairness Veri?cation of Linear Hybrid Automata. 567-568
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-12-04 22:06 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:
