Proceedings of the Ninth International Conference on Software Testing, Verification and Validation
ICST, 2016.

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

Contents (47 items)

ICST-2016-EnoiuCSP #embedded #empirical #safety #testing

A Controlled Experiment in Testing of Safety-Critical Embedded Software (EPE, AC, DS, PP), pp. 1–11.

ICST-2016-Segall #combinator #design #multi #testing

Repeated Combinatorial Test Design - Unleashing the Potential in Multiple Testing Iterations (IS), pp. 12–21.

ICST-2016-GaoJBL #analysis #effectiveness #framework #testing

A Framework to Evaluate the Effectiveness of Different Load Testing Analysis Techniques (RG, ZMJ, CB, ML), pp. 22–32.

ICST-2016-MoranVBVP #android #automation

Automatically Discovering, Reporting and Reproducing Android Application Crashes (KM, MLV, CBC, CV, DP), pp. 33–44.

ICST-2016-LiewCD #execution #named #source code #symbolic computation

Symbooglix: A Symbolic Execution Engine for Boogie Programs (DL, CC, AFD), pp. 45–56.

ICST-2016-LuYAZ #product line #recommendation

Nonconformity Resolving Recommendations for Product Line Configuration (HL0, TY0, SA0, LZ0), pp. 57–68.

ICST-2016-MarculescuFT #evaluation #search-based #testing #using

Using Exploration Focused Techniques to Augment Search-Based Software Testing: An Experimental Evaluation (BM, RF, RT), pp. 69–79.

ICST-2016-ShiGLM #detection #implementation #nondeterminism #specification

Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications (AS, AG, OL, DM), pp. 80–90.

ICST-2016-YeZWL #debugging #detection #empirical

An Empirical Study on Detecting and Fixing Buffer Overflow Bugs (TY, LZ, LW, XL), pp. 91–101.

ICST-2016-ArcainiGV #automation #consistency #detection #fault #feature model #modelling

Automatic Detection and Removal of Conformance Faults in Feature Models (PA, AG, PV), pp. 102–112.

ICST-2016-GhardallouDMF #debugging #testing

Debugging without Testing (WG, ND, AM, MFF), pp. 113–123.

ICST-2016-SunP #effectiveness #fault #locality #metric #statistics

Properties of Effective Metrics for Coverage-Based Statistical Fault Localization (SFS, AP), pp. 124–134.

ICST-2016-HughesPAN #distributed #testing

Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service (JH, BCP, TA, UN), pp. 135–145.

ICST-2016-GhafoorMS #database #effectiveness #model checking #partial order #reduction

Effective Partial Order Reduction in Model Checking Database Applications (MAG, MSM, JHS), pp. 146–156.

ICST-2016-BernardinoZR #domain-specific language #modelling #named #performance #testing

Canopus: A Domain-Specific Language for Modeling Performance Testing (MB, AFZ, EdMR), pp. 157–167.

ICST-2016-YuWHH #concurrent #predict #source code #testing

Predicting Testability of Concurrent Programs (TY, WW, XH, JHH), pp. 168–179.

ICST-2016-HammoudiRT #question #testing #web #why

Why do Record/Replay Tests of Web Applications Break? (MH, GR, PT), pp. 180–190.

ICST-2016-MahajanLBH #debugging #using #visual notation #web

Using Visual Symptoms for Debugging Presentation Failures in Web Applications (SM, BL, PB, WGJH), pp. 191–201.

ICST-2016-AlameerMH #detection #web

Detecting and Localizing Internationalization Presentation Failures in Web Applications (AA, SM, WGJH), pp. 202–212.

ICST-2016-GarousiH #case study #experience #testing #topic

Selecting the Right Topics for Industry-Academia Collaborations in Software Testing: An Experience Report (VG, KH), pp. 213–222.

ICST-2016-FeldtPCY #set #testing

Test Set Diameter: Quantifying the Diversity of Sets of Test Cases (RF, SMP, DC, SY), pp. 223–233.

ICST-2016-HuoC #using

Interpreting Coverage Information Using Direct and Indirect Coverage (CH, JC), pp. 234–243.

ICST-2016-ArtsH #how #question #requirements

How Well are Your Requirements Tested? (TA, JH), pp. 244–254.

ICST-2016-ChengWXH0 #empirical #evaluation #functional #source code #test coverage

Empirical Evaluation of Test Coverage for Functional Programs (YC, MW0, YX, DH, LZ0), pp. 255–265.

ICST-2016-ChenBHXZ0X #approach #compilation #testing

Test Case Prioritization for Compilers: A Text-Vector Based Approach (JC0, YB, DH, YX, HZ0, LZ0, BX), pp. 266–277.

ICST-2016-PinaH #framework #named #testing

Tedsuto: A General Framework for Testing Dynamic Software Updates (LP, MH0), pp. 278–287.

ICST-2016-Al-RefaiGC #adaptation #modelling #runtime #testing #validation

Model-Based Regression Test Selection for Validating Runtime Adaptation of Software Systems (MAR, SG, WC), pp. 288–298.

ICST-2016-ShinB #comprehension #framework #testing

A Theoretical Framework for Understanding Mutation-Based Testing Methods (DS0, DHB), pp. 299–308.

ICST-2016-LarsonK #generative #regular expression #string

Generating Evil Test Strings for Regular Expressions (EL, AK), pp. 309–319.

ICST-2016-TokumotoYSH #analysis #c #higher-order #mutation testing #named #virtual machine

MuVM: Higher Order Mutation Analysis Virtual Machine for C (ST, HY, KS, SH), pp. 320–329.

ICST-2016-Mirshokraie0P #named #testing #user interface

Atrina: Inferring Unit Oracles from GUI Test Cases (SM, AM0, KP), pp. 330–340.

ICST-2016-LiVVPK #automation #testing

Automatically Documenting Unit Test Cases (BL, CV, MLV, DP, NAK), pp. 341–352.

ICST-2016-HollingHPG #integration #testing

Profiting from Unit Tests for Integration Testing (DH, AH, AP, MG), pp. 353–363.

ICST-2016-LongYPMS #collaboration #component #coordination #testing

Coordinated Collaborative Testing of Shared Software Components (TL, ICY, AAP, AMM, AS), pp. 364–374.

ICST-2016-Bianchi #concurrent #testing

Testing Concurrent Software Systems (FAB), pp. 375–376.

ICST-2016-Dadkhah #generative #semantics #testing

Semantic-Based Test Case Generation (MD), pp. 377–378.

ICST-2016-Gao #interactive #question #testing #what

Making System User Interactive Tests Repeatable: When and What Should we Control? (ZG), pp. 379–380.

ICST-2016-Gustavsson #verification

Verification Methodology for Fully Autonomous Heavy Vehicles (JG), pp. 381–382.

ICST-2016-Lima #automation #distributed #testing

Automated Scenario-Based Testing of Distributed and Heterogeneous Systems (BL), pp. 383–384.

ICST-2016-Kowalczyk #behaviour #modelling #multi

Modeling App Behavior from Multiple Artifacts (EK), pp. 385–386.

ICST-2016-Kunze #product line #testing

Symbolic Characterisation of Commonalities in Testing Software Product Lines (SK), pp. 387–388.

ICST-2016-Xin #self

Self-Healing Cloud Applications (RX), pp. 389–390.

ICST-2016-Zuddas #interactive #semantics #testing

Semantic Testing of Interactive Applications (DZ), pp. 391–392.

ICST-2016-LiEK #modelling #named #testing

Skyfire: Model-Based Testing with Cucumber (NL0, AE, TK), pp. 393–400.

ICST-2016-ArcuriCF #development #generative #plugin #testing

Unit Test Generation During Software Development: EvoSuite Plugins for Maven, IntelliJ and Jenkins (AA, JC, GF), pp. 401–408.

ICST-2016-StivaletF #generative #php #scalability #testing

Large Scale Generation of Complex and Faulty PHP Test Cases (BS, EF), pp. 409–415.

ICST-2016-WetzlmaierRP #framework #testing #user interface

A Framework for Monkey GUI Testing (TW, RR, WP), pp. 416–423.