Proceedings of the 12th International Conference on Software Testing, Verification and Validation
ICST, 2019.

@proceedings{ICST-2019,
	ee            = "https://ieeexplore.ieee.org/xpl/conhome/8725538/proceeding",
	isbn          = "978-1-7281-1736-2",
	publisher     = "{IEEE}",
	title         = "{Proceedings of the 12th International Conference on Software Testing, Verification and Validation}",
	year          = 2019,
}

Contents (53 items)

ICST-2019-SaumyaK0B #automation #generative #scalability #testing #worst-case

XSTRESSOR : Automatic Generation of Large-Scale Worst-Case Test Inputs by Inferring Path Conditions (CS, JK, MK0, SB), pp. 1–12.

ICST-2019-IwamaF #automation #recognition #speech #testing

Automated Testing of Basic Recognition Capability for Speech Recognition Systems (FI, TF), pp. 13–24.

ICST-2019-DiniYGK #automation #imperative #testing

Extension-Aware Automated Testing Based on Imperative Predicates (ND, CY, MG, SK), pp. 25–36.

ICST-2019-BaderCF #parallel #testing

Parallel Many-Objective Search for Unit Tests (VB, JC, GF), pp. 37–47.

ICST-2019-CoppikSS #fuzzing #memory management #named #using

MemFuzz: Using Memory Accesses to Guide Fuzzing (NC, OS, NS), pp. 48–58.

ICST-2019-ZhaoLWSH #framework #fuzzing #industrial #learning #named #perspective #protocol

SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning Perspective (HZ, ZL, HW, JS, YH), pp. 59–67.

ICST-2019-PiantadosiSO #case study #open source #security

Fixing of Security Vulnerabilities in Open Source Projects: A Case Study of Apache HTTP Server and Apache Tomcat (VP, SS, RO), pp. 68–78.

ICST-2019-SondhiRP #library #testing

Similarities Across Libraries: Making a Case for Leveraging Test Suites (DS, DR, RP), pp. 79–89.

ICST-2019-GyimesiVSMBF0 #benchmark #debugging #javascript #metric #named

BugsJS: a Benchmark of JavaScript Bugs (PG, BV, AS0, DM, ÁB, RF, AM0), pp. 90–101.

ICST-2019-LiuKB0KT #automation #benchmark #bias #exclamation #fault #locality #metric #program repair #what

You Cannot Fix What You Cannot Find! An Investigation of Fault Localization Bias in Benchmarking Automated Program Repair Systems (KL0, AK, TFB, DK0, JK, YLT), pp. 102–113.

ICST-2019-HaririSFMM #compilation #mutation testing #representation #source code #testing

Comparing Mutation Testing at the Levels of Source Code and Compiler Intermediate Representation (FH, AS, VF, SM, DM), pp. 114–124.

ICST-2019-SharmaW #algorithm #machine learning #testing

Testing Machine Learning Algorithms for Balanced Data Usage (AS, HW), pp. 125–135.

ICST-2019-KooS0B #automation #generative #learning #named #testing #worst-case

PySE: Automatic Worst-Case Test Generation by Reinforcement Learning (JK, CS, MK0, SB), pp. 136–147.

ICST-2019-MonniPP #detection

An RBM Anomaly Detector for the Cloud (CM, MP, GP), pp. 148–159.

ICST-2019-MaoCZ #mutation testing #predict #testing

An Extensive Study on Cross-Project Predictive Mutation Testing (DM, LC, LZ), pp. 160–171.

ICST-2019-AlameerCH #constraints #layout

Efficiently Repairing Internationalization Presentation Failures by Solving Layout Constraints (AA, PTC, WGJH), pp. 172–182.

ICST-2019-AlthomaliKM #automation #layout #verification #visual notation #web

Automatic Visual Verification of Layout Failures in Responsively Designed Web Pages (IA, GMK, PM), pp. 183–193.

ICST-2019-TannoI #debugging #interactive #realtime #source code

Suspend-Less Debugging for Interactive and/or Realtime Programs (HT, HI), pp. 194–205.

ICST-2019-JoffeC #execution #towards

Directing a Search Towards Execution Properties with a Learned Fitness Function (LJ, DC), pp. 206–216.

ICST-2019-LidO

Intent-Preserving Test Repair (XL, Md, AO), pp. 217–227.

ICST-2019-WangWZK #alloy #learning

Learning to Optimize the Alloy Analyzer (WW, KW, MZ, SK), pp. 228–239.

ICST-2019-PlazarAPDC #configuration management #question #satisfiability

Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet? (QP, MA, GP, XD, MC), pp. 240–251.

ICST-2019-ZhangZHWZ #correlation #effectiveness #pseudo #question #testing

Do Pseudo Test Suites Lead to Inflated Correlation in Measuring Test Effectiveness? (JMZ, LZ, DH, MW, LZ), pp. 252–263.

ICST-2019-TerragniPB #dependence #generative #parallel #testing #thread

Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict Dependencies (VT, MP, FAB), pp. 264–275.

ICST-2019-WuLSCX #analysis #android #detection #order #precise

Precise Static Happens-Before Analysis for Detecting UAF Order Violations in Android (DW, JL0, YS, SC0, JX), pp. 276–287.

ICST-2019-KocWFCP #assessment #empirical #java #machine learning #static analysis

An Empirical Assessment of Machine Learning Approaches for Triaging Reports of a Java Static Analysis Tool (UK, SW, JSF, MC, AAP), pp. 288–299.

ICST-2019-LegunsenZHRM #runtime #verification

Techniques for Evolution-Aware Runtime Verification (OL, YZ, MHT, GR, DM), pp. 300–311.

ICST-2019-LamOSM0 #detection #framework #named #testing

iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests (WL, RO, AS, DM, TX0), pp. 312–322.

ICST-2019-FuMG #c++ #testing

Resurgence of Regression Test Selection for C++ (BF, SM, MG), pp. 323–334.

ICST-2019-RwemalikaKPTL #evolution #keyword #on the #testing

On the Evolution of Keyword-Driven Test Suites (RR, MK, MP, YLT, PL), pp. 335–345.

ICST-2019-PatersonCAKFM #empirical #fault #predict #testing #using

An Empirical Study on the Use of Defect Prediction for Test Case Prioritization (DP, JC, RA, GMK, GF, PM), pp. 346–357.

ICST-2019-PanarinBIZZMRGT #automation #framework #named #testing

Poster: ClearTH Test Automation Framework: A Running Example of a DLT-Based Post-Trade System (VP, AB, II, AZ, KZ, MM, AR, AG, ET, ST, RY), pp. 358–362.

ICST-2019-VuottoNPT #automation #consistency #named #requirements

Poster: Automatic Consistency Checking of Requirements with ReqV (SV, MN, LP, AT), pp. 363–366.

ICST-2019-JebbarSKT #named #testing

Poster: Re-Testing Configured Instances in the Production Environment - A Method for Reducing the Test Suite (OJ, MAS, FK, MT), pp. 367–370.

ICST-2019-BaloghHB #developer #eclipse #fault #ide #interactive #java #locality #named

Poster: Aiding Java Developers with Interactive Fault Localization in Eclipse IDE (GB, FH, ÁB), pp. 371–374.

ICST-2019-VancsicsGSMBF0 #javascript #named

Poster: Supporting JavaScript Experimentation with BugsJS (BV, PG, AS0, DM, ÁB, RF, AM0), pp. 375–378.

ICST-2019-KahlesTHJ #agile #analysis #automation #machine learning #testing

Automating Root Cause Analysis via Machine Learning in Agile Software Testing Environments (JK, JT, TH, AJ), pp. 379–390.

ICST-2019-LeeHYKKY #integration #network #static analysis #using

Classifying False Positive Static Checker Alarms in Continuous Integration Using Convolutional Neural Networks (SL, SH, JY, TK, CJK, SY), pp. 391–401.

ICST-2019-AkramQL #named

VCIPR: Vulnerable Code is Identifiable When a Patch is Released (Hacker's Perspective) (JA, LQ, PL0), pp. 402–413.

ICST-2019-KingRKWS #assessment #automation

Automated Function Assessment in Driving Scenarios (CK, LR, CK, CW, ES), pp. 414–419.

ICST-2019-HellhakeSW #black box #data flow #distributed #integration #test coverage #testing #using

Using Data Flow-Based Coverage Criteria for Black-Box Integration Testing of Distributed Software Systems (DH, TS, SW0), pp. 420–429.

ICST-2019-ZhongZK #named #scalability #testing #web #web service

TestSage: Regression Test Selection for Large-Scale Web Service Testing (HZ, LZ, SK), pp. 430–440.

ICST-2019-PaivaGB #android #testing

Testing Android Incoming Calls (ACRP, MAG, ARB), pp. 441–448.

ICST-2019-BorgesZ #automation #resource management #why

Why Does this App Need this Data? Automatic Tightening of Resource Access (NPBJ, AZ), pp. 449–456.

ICST-2019-JendeleSCJR #automation #composition #performance #scalability

Efficient Automated Decomposition of Build Targets at Large-Scale (LJ, MS, DC, IJ, MR), pp. 457–464.

ICST-2019-KhaireddineMM #fault #program repair

Program Repair at Arbitrary Fault Depth (BK, MM, AM), pp. 465–472.

ICST-2019-MuscoYN #approach #clustering #implementation #named #testing

SmokeOut: An Approach for Testing Clustering Implementations (VM, XY, IN), pp. 473–480.

ICST-2019-Wei #analysis #safety

AADL-Based Safety Analysis Approaches for Safety-Critical Systems (XW), pp. 481–482.

ICST-2019-Sondhi #consistency #documentation #implementation #nondeterminism #testing

Testing for Implicit Inconsistencies in Documentation and Implementation (DS), pp. 483–485.

ICST-2019-Lima #automation #distributed #integration #testing

Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems (BL), pp. 486–488.

ICST-2019-Radavelli #modelling #testing #using

Using Testing to Repair Models (MR), pp. 489–491.

ICST-2019-Junior #testing

Operational Profile and Software Testing: Aligning User Interest and Test Strategy (LCJ), pp. 492–494.

ICST-2019-Tan #approach #modelling #testing

A Model-Based Approach to Generate Dynamic Synthetic Test Data (CT), pp. 495–497.