Proceedings of the 10th International Conference on Software Testing, Verification and Validation
ICST, 2017.

@proceedings{ICST-2017,
	ee            = "https://ieeexplore.ieee.org/xpl/conhome/7922464/proceeding",
	ee            = "https://www.computer.org/csdl/proceedings/icst/2017/6031/00/index.html",
	isbn          = "978-1-5090-6031-3",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the 10th International Conference on Software Testing, Verification and Validation}",
	year          = 2017,
}

Contents (60 items)

ICST-2017-GuoML #fault #sql

Localizing Faults in SQL Predicates (YG, AM, NL0), pp. 1–11.

ICST-2017-PerezAd #fault #locality

Prevalence of Single-Fault Fixes and Its Impact on Fault Localization (AP, RA, Md), pp. 12–22.

ICST-2017-JeongLKKH #embedded #fault #framework #injection #kernel #linux #named

FIFA: A Kernel-Level Fault Injection Framework for ARM-Based Embedded Linux System (EJ, NL, JK, DK, SH), pp. 23–34.

ICST-2017-XuLC #concurrent #data type #debugging #testing #using

Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures (JX, YL, RHC), pp. 35–46.

ICST-2017-GopinathJG #fault #formal method

The Theory of Composite Faults (RG, CJ, AG), pp. 47–57.

ICST-2017-LuckowKP #analysis #complexity #using

Symbolic Complexity Analysis Using Context-Preserving Histories (KSL, RK, CSP), pp. 58–68.

ICST-2017-KleineS #combinator #named #testing

Coveringcerts: Combinatorial Methods for X.509 Certificate Testing (KK, DES), pp. 69–79.

ICST-2017-Al-QahtaniER #api #approach #modelling #ontology #security #semantics #traceability

Recovering Semantic Traceability Links between APIs and Security Vulnerabilities: An Ontological Modeling Approach (SSAQ, EEE, JR), pp. 80–91.

ICST-2017-WanLXCL #linux #mining

Mining Sandboxes for Linux Containers (ZW, DL0, XX0, LC, SL), pp. 92–102.

ICST-2017-OliveiraFDHS #effectiveness #named #performance #testing

Perphecy: Performance Regression Test Selection Made Simple but Effective (ABdO, SF, AD, MH, PFS), pp. 103–113.

ICST-2017-AlagozHG #black box #quality #statistics #testing

A Selection Method for Black Box Regression Testing with a Statistically Defined Quality Level (IA, TH, RG), pp. 114–125.

ICST-2017-ArcuriFJ #api #automation #functional #generative #testing

Private API Access and Functional Mocking in Automated Unit Test Generation (AA, GF, RJ), pp. 126–137.

ICST-2017-LinWC #semantics #similarity #testing #using #web

Using Semantic Similarity in Crawling-Based Web Application Testing (JWL, FW, PC), pp. 138–148.

ICST-2017-FazziniFCO #android #encoding #framework #independence #named #platform #testing

Barista: A Technique for Recording, Encoding, and Running Platform Independent Android Tests (MF, ENdAF, SRC, AO), pp. 149–160.

ICST-2017-LiCWH0WL #automation #evolution #maintenance #mobile #named #testing #user interface

ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications (XL, NC, YW, HH, YP0, LW, XL), pp. 161–171.

ICST-2017-ZhangYZLCHL #automation #data flow #parallel #source code #testing #thread

Automated Testing of Definition-Use Data Flow for Multithreaded Programs (XZ0, ZY, QZ, PL, JC, YH, TL0), pp. 172–183.

ICST-2017-ChanWSPS #analysis #concurrent #fault #invariant #multi #named #source code #thread #using

IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants (AC, SW0, HS, KP, NS), pp. 184–195.

ICST-2017-DiasFFLSSV #concurrent #contract #source code #using #verification

Verifying Concurrent Programs Using Contracts (RJD, CF0, JF, JML, AS, DGS, TV), pp. 196–206.

ICST-2017-TrautschG #empirical #open source #python #testing

Are There Any Unit Tests? An Empirical Study on Unit Testing in Open Source Python Projects (FT, JG), pp. 207–218.

ICST-2017-ArmstrongKA #matter #overview #question

Broadcast vs. Unicast Review Technology: Does It Matter? (FA, FK, BA), pp. 219–229.

ICST-2017-Fard0 #javascript #named

JavaScript: The (Un)Covered Parts (AMF, AM0), pp. 230–240.

ICST-2017-ConverseOK #execution #generative #semantics #symbolic computation #testing #using

Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution (HC, OO, SK), pp. 241–252.

ICST-2017-WalkinshawF #black box #generative #testing

Uncertainty-Driven Black-Box Test Data Generation (NW, GF), pp. 253–263.

ICST-2017-SullivanWZK #alloy #automation #generative #mutation testing #testing

Automated Test Generation and Mutation Testing for Alloy (AS, KW, RNZ, SK), pp. 264–275.

ICST-2017-TapplerAB #automaton #communication #learning #modelling #testing

Model-Based Testing IoT Communication via Active Automata Learning (MT, BKA, RB), pp. 276–287.

ICST-2017-ArthoGRBMKHTY #api #modelling #testing

Model-Based API Testing of Apache ZooKeeper (CA, QG, GR, KB, LM0, TK, MH, YT, MY), pp. 288–298.

ICST-2017-WangPB #automaton #case study #requirements #testing

System Testing of Timing Requirements Based on Use Cases and Timed Automata (CW, FP, LCB), pp. 299–309.

ICST-2017-Gyori0PM #linear #metric #performance #runtime

Efficient Incrementalized Runtime Checking of Linear Measures on Lists (AG, PG0, EP, PM), pp. 310–320.

ICST-2017-WangBO #behaviour #comparison #execution #question #testing

Behavioral Execution Comparison: Are Tests Representative of Field Behavior? (QW, YB, AO), pp. 321–332.

ICST-2017-PouldingF17a #automation #multi #random testing #testing

Automated Random Testing in Multiple Dispatch Languages (SMP, RF), pp. 333–344.

ICST-2017-Gay #detection #fault #generative #search-based #testing

The Fitness Function for the Job: Search-Based Generation of Test Suites That Detect Real Faults (GG), pp. 345–355.

ICST-2017-JanNAB #approach #injection #search-based #testing #web #xml

A Search-Based Testing Approach for XML Injection Vulnerabilities in Web Applications (SJ, CDN, AA, LCB), pp. 356–366.

ICST-2017-PradhanWAYL #algorithm #clustering #multi #named #optimisation #search-based

CBGA-ES: A Cluster-Based Genetic Algorithm with Elitist Selection for Supporting Multi-Objective Test Optimization (DP, SW0, SA0, TY0, ML), pp. 367–378.

ICST-2017-ChengT #deduction #incremental #model transformation #relational #verification

Incremental Deductive Verification for Relational Model Transformations (ZC, MT), pp. 379–389.

ICST-2017-AichernigS #model checking #statistics #testing

Statistical Model Checking Meets Property-Based Testing (BKA, RS), pp. 390–400.

ICST-2017-PastoreMM #automation #automaton

Timed k-Tail: Automatic Inference of Timed Automata (FP, DM, LM), pp. 401–411.

ICST-2017-EnoiuSCP #automation #case study #comparative #industrial #testing

A Comparative Study of Manual and Automated Testing for Industrial Control Software (EPE, DS, AC, PP), pp. 412–417.

ICST-2017-ChenBHZZX #how #question #reduction #testing

How Do Assertions Impact Coverage-Based Test-Suite Reduction? (JC0, YB, DH, LZ, LZ0, BX), pp. 418–423.

ICST-2017-DevroeyPPLSH #automaton #empirical #equivalence #evaluation #modelling #simulation

Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation (XD, GP, MP, AL, PYS, PH), pp. 424–429.

ICST-2017-LaurentPKHTV #mutation testing #testing

Assessing and Improving the Mutation Testing Practice of PIT (TL0, MP, MK, CH, YLT, AV), pp. 430–435.

ICST-2017-MarcozziDBKP #effectiveness #specification

Generic and Effective Specification of Structural Test Objectives (MM, MD, SB, NK, VP), pp. 436–441.

ICST-2017-MilewiczP #model checking #named #static analysis

Ariadne: Hybridizing Directed Model Checking and Static Analysis (RM, PP), pp. 442–447.

ICST-2017-PatrickDG #probability #simulation #statistics #testing #tool support

A Toolkit for Testing Stochastic Simulations against Statistical Oracles (MP, RD, CAG), pp. 448–453.

ICST-2017-GambiGZ #exclamation #in the cloud #low cost #testing

O!Snap: Cost-Efficient Testing in the Cloud (AG, AG, AZ), pp. 454–459.

ICST-2017-DwarakanathEPDP #automation #domain-specific language #testing

Accelerating Test Automation through a Domain Specific Language (AD, DE, AP, ND, SP), pp. 460–467.

ICST-2017-DarkeCCV #abstraction #bound #model checking #performance #proving #safety #using

Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking (PD, BC, AC, RV), pp. 468–475.

ICST-2017-ArcainiGR17a #framework #model checking #named

NuSeen: A Tool Framework for the NuSMV Model Checker (PA, AG, ER), pp. 476–483.

ICST-2017-HollandSK #analysis #benchmark #metric #state of the art

Transferring State-of-the-Art Immutability Analyses: Experimentation Toolbox and Accuracy Benchmark (BH, GRS, SK), pp. 484–491.

ICST-2017-TangCZGXHBM #android #automation #detection #named #verification

NIVAnalyzer: A Tool for Automatically Detecting and Verifying Next-Intent Vulnerabilities in Android Apps (JT, XC, ZZ0, SG, XSX, CH, TB, BM), pp. 492–499.

ICST-2017-MarcozziBDKP #test coverage

Taming Coverage Criteria Heterogeneity with LTest (MM, SB, MD, NK, VP), pp. 500–507.

ICST-2017-UkaiQ #design

Test Design as Code: JCUnit (HU, XQ), pp. 508–515.

ICST-2017-FlemstromGK #interactive #testing

SAGA Toolbox: Interactive Testing of Guarded Assertions (DF, TG, AK), pp. 516–523.

ICST-2017-MarijanLGSI #configuration management #named #optimisation #testing

TITAN: Test Suite Optimization for Highly Configurable Software (DM, ML, AG, SS, CI), pp. 524–531.

ICST-2017-SunRJB #android #named #runtime #using #verification #weaving

ADRENALIN-RV: Android Runtime Verification Using Load-Time Weaving (HS, AR, OJ, WB), pp. 532–539.

ICST-2017-FowlerCSB #towards

Towards a Testbed for Automotive Cybersecurity (DSF, MC, SAS, JWB), pp. 540–541.

ICST-2017-RamlerH #automation #how #locality #testing

How to Test in Sixteen Languages? Automation Support for Localization Testing (RR, RH), pp. 542–543.

ICST-2017-Al-NayeemOPRZ #case study #evolution #validation

Information Needs for Validating Evolving Software Systems: An Exploratory Study at Google (AAN, KO, SP, CR, SZ), pp. 544–545.

ICST-2017-DarwishGT #automation #empirical #industrial #modelling #testing

A Controlled Experiment on Coverage Maximization of Automated Model-Based Software Test Cases in the Automotive Industry (RD, LNG, RT), pp. 546–547.

ICST-2017-YangHHLC #industrial #natural language #testing

An Industrial Study of Natural Language Processing Based Test Case Prioritization (YY, XH, XH, ZL, ZC0), pp. 548–549.

ICST-2017-AlegrothMVA #contest #overview #testing

Overview of the ICST International Software Testing Contest (EA, SM, TEJV, KA), pp. 550–551.