Proceedings of the Ninth International Conference on Software Testing, Verification and Validation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter


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

TEST
DBLP
Scholar
?EE?
CSDL
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.