![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
12th ICST 2019: Xi'an, China
- 12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019. IEEE 2019, ISBN 978-1-7281-1736-2
Research Track
Test Generation
- Charitha Saumya
, Jinkyu Koo, Milind Kulkarni, Saurabh Bagchi:
XSTRESSOR : Automatic Generation of Large-Scale Worst-Case Test Inputs by Inferring Path Conditions. 1-12 - Futoshi Iwama, Takashi Fukuda:
Automated Testing of Basic Recognition Capability for Speech Recognition Systems. 13-24 - Nima Dini, Cagdas Yelen, Milos Gligoric, Sarfraz Khurshid:
Extension-Aware Automated Testing Based on Imperative Predicates. 25-36 - Verena Bader, José Campos
, Gordon Fraser:
Parallel Many-Objective Search for Unit Tests. 37-47
Fuzzing and Security
- Nicolas Coppik, Oliver Schwahn
, Neeraj Suri
:
MemFuzz: Using Memory Accesses to Guide Fuzzing. 48-58 - Hui Zhao, Zhihui Li, Hansheng Wei, Jianqi Shi, Yanhong Huang:
SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning Perspective. 59-67 - Valentina Piantadosi
, Simone Scalabrino
, Rocco Oliveto:
Fixing of Security Vulnerabilities in Open Source Projects: A Case Study of Apache HTTP Server and Apache Tomcat. 68-78
Empirical Studies and Benchmarking
- Devika Sondhi, Divya Rani, Rahul Purandare
:
Similarities Across Libraries: Making a Case for Leveraging Test Suites. 79-89 - Péter Gyimesi
, Béla Vancsics, Andrea Stocco
, Davood Mazinanian, Árpád Beszédes
, Rudolf Ferenc
, Ali Mesbah
:
BugsJS: a Benchmark of JavaScript Bugs. 90-101 - Kui Liu
, Anil Koyuncu, Tegawendé F. Bissyandé, Dongsun Kim
, Jacques Klein
, Yves Le Traon
:
You Cannot Fix What You Cannot Find! An Investigation of Fault Localization Bias in Benchmarking Automated Program Repair Systems. 102-113 - Farah Hariri, August Shi, Vimuth Fernando, Suleman Mahmood, Darko Marinov:
Comparing Mutation Testing at the Levels of Source Code and Compiler Intermediate Representation. 114-124
Machine Learning
- Arnab Sharma, Heike Wehrheim:
Testing Machine Learning Algorithms for Balanced Data Usage. 125-135 - Jinkyu Koo, Charitha Saumya
, Milind Kulkarni, Saurabh Bagchi:
PySE: Automatic Worst-Case Test Generation by Reinforcement Learning. 136-147 - Cristina Monni, Mauro Pezzè
, Gaetano Prisco:
An RBM Anomaly Detector for the Cloud. 148-159 - Dongyu Mao, Lingchao Chen, Lingming Zhang:
An Extensive Study on Cross-Project Predictive Mutation Testing. 160-171
Web and GUI Applications
- Abdulmajeed Alameer, Paul T. Chiou
, William G. J. Halfond:
Efficiently Repairing Internationalization Presentation Failures by Solving Layout Constraints. 172-182 - Ibrahim Althomali, Gregory M. Kapfhammer, Phil McMinn:
Automatic Visual Verification of Layout Failures in Responsively Designed Web Pages. 183-193 - Haruto Tanno, Hideya Iwasaki
:
Suspend-Less Debugging for Interactive and/or Realtime Programs. 194-205
SAT and Search Based Testing
- Leonid Joffe, David Clark
:
Directing a Search Towards Execution Properties with a Learned Fitness Function. 206-216 - Xiangyu Li, Marcelo d'Amorim, Alessandro Orso:
Intent-Preserving Test Repair. 217-227 - Wenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid:
Learning to Optimize the Alloy Analyzer. 228-239 - Quentin Plazar, Mathieu Acher, Gilles Perrouin
, Xavier Devroey
, Maxime Cordy:
Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet? 240-251
Coverage
- Jie M. Zhang, Lingming Zhang, Dan Hao
, Meng Wang, Lu Zhang:
Do Pseudo Test Suites Lead to Inflated Correlation in Measuring Test Effectiveness? 252-263 - Valerio Terragni
, Mauro Pezzè
, Francesco Adalberto Bianchi:
Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict Dependencies. 264-275
Verification and Analysis
- Diyu Wu
, Jie Liu, Yulei Sui
, Shiping Chen
, Jingling Xue
:
Precise Static Happens-Before Analysis for Detecting UAF Order Violations in Android. 276-287 - Ugur Koc, Shiyi Wei, Jeffrey S. Foster, Marine Carpuat, Adam A. Porter:
An Empirical Assessment of Machine Learning Approaches for Triaging Reports of a Java Static Analysis Tool. 288-299 - Owolabi Legunsen, Yi Zhang, Milica Hadzi-Tanovic, Grigore Rosu, Darko Marinov:
Techniques for Evolution-Aware Runtime Verification. 300-311
Evolution and Maintenance
- Wing Lam, Reed Oei, August Shi, Darko Marinov, Tao Xie:
iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests. 312-322 - Ben Fu, Sasa Misailovic, Milos Gligoric:
Resurgence of Regression Test Selection for C++. 323-334 - Renaud Rwemalika, Marinos Kintis, Mike Papadakis
, Yves Le Traon
, Pierre Lorrach:
On the Evolution of Keyword-Driven Test Suites. 335-345 - David Paterson, José Campos
, Rui Abreu
, Gregory M. Kapfhammer, Gordon Fraser, Phil McMinn:
An Empirical Study on the Use of Defect Prediction for Test Case Prioritization. 346-357
Poster Papers
- Vladimir Panarin, Alyona Bulda, Iosif Itkin
, Alexey Zverev, Kirill Zagorouiko, Murad Mamedov, Alyona Rybakova, Anna Gromova, Elena Treshcheva
, Sergey Tishin, Rostislav Yavorskiy:
Poster: ClearTH Test Automation Framework: A Running Example of a DLT-Based Post-Trade System. 358-362 - Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella
:
Poster: Automatic Consistency Checking of Requirements with ReqV. 363-366 - Oussama Jebbar, Mohamed Aymen Saied
, Ferhat Khendek
, Maria Toeroe:
Poster: Re-Testing Configured Instances in the Production Environment - A Method for Reducing the Test Suite. 367-370 - Gergö Balogh
, Ferenc Horváth, Árpád Beszédes
:
Poster: Aiding Java Developers with Interactive Fault Localization in Eclipse IDE. 371-374 - Béla Vancsics, Péter Gyimesi
, Andrea Stocco
, Davood Mazinanian, Árpád Beszédes
, Rudolf Ferenc
, Ali Mesbah
:
Poster: Supporting JavaScript Experimentation with BugsJS. 375-378
Industry Track
- Julen Kahles, Juha Torronen, Timo Huuhtanen, Alexander Jung
:
Automating Root Cause Analysis via Machine Learning in Agile Software Testing Environments. 379-390 - Seongmin Lee
, Shin Hong, Jungbae Yi, Taeksu Kim, Chul-Joo Kim, Shin Yoo:
Classifying False Positive Static Checker Alarms in Continuous Integration Using Convolutional Neural Networks. 391-401 - Junaid Akram
, Liang Qi, Ping Luo:
VCIPR: Vulnerable Code is Identifiable When a Patch is Released (Hacker's Perspective). 402-413 - Christian King, Lennart Ries, Christopher Kober, Christoph Wohlfahrt, Eric Sax:
Automated Function Assessment in Driving Scenarios. 414-419 - Dominik Hellhake, Tobias Schmid, Stefan Wagner
:
Using Data Flow-Based Coverage Criteria for Black-Box Integration Testing of Distributed Software Systems. 420-429 - Hua Zhong, Lingming Zhang, Sarfraz Khurshid:
TestSage: Regression Test Selection for Large-Scale Web Service Testing. 430-440
Testing Tool Track
- Ana C. R. Paiva, Marco A. Gonçalves, Andre R. Barros:
Testing Android Incoming Calls. 441-448 - Nataniel P. Borges Jr.
, Andreas Zeller
:
Why Does this App Need this Data? Automatic Tightening of Resource Access. 449-456 - Lukás Jendele, Markus Schwenk, Diana Cremarenco, Ivan Janicijevic, Mikhail Rybalkin:
Efficient Automated Decomposition of Build Targets at Large-Scale. 457-464 - Besma Khaireddine
, Matias Martinez
, Ali Mili:
Program Repair at Arbitrary Fault Depth. 465-472 - Vincenzo Musco, Xin Yin, Iulian Neamtiu:
SmokeOut: An Approach for Testing Clustering Implementations. 473-480
Doctoral Symposium
- Xiaomin Wei
:
AADL-Based Safety Analysis Approaches for Safety-Critical Systems. 481-482 - Devika Sondhi:
Testing for Implicit Inconsistencies in Documentation and Implementation. 483-485 - Bruno Lima
:
Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems. 486-488 - Marco Radavelli
:
Using Testing to Repair Models. 489-491 - Luiz Cavamura Júnior:
Operational Profile and Software Testing: Aligning User Interest and Test Strategy. 492-494 - Chao Tan
:
A Model-Based Approach to Generate Dynamic Synthetic Test Data. 495-497
![](https://dblp.org/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.