Proceedings of the Seventh IEEE International Conference on Software Testing, Verification and Validation
ICST, 2014.

@proceedings{ICST-2014,
	address       = "Cleveland, Ohio, USA",
	ee            = "http://www.computer.org/csdl/proceedings/icst/2014/2255/00/index.html",
	isbn          = "978-0-7695-5185-2",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the Seventh IEEE International Conference on Software Testing, Verification and Validation}",
	year          = 2014,
}

Event page: http://sites.google.com/site/icst2014/

Contents (40 items)

24 ×#testing
11 ×#automation
5 ×#modelling
4 ×#analysis
4 ×#product line
3 ×#case study
3 ×#evaluation
3 ×#multi
3 ×#named
3 ×#test coverage

ICST-2014-PapadakisHT #analysis #combinator #interactive #mutation testing #testing

Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing (MP, CH, YLT), pp. 1–10.

ICST-2014-DelamaroOA #design

Designing Deletion Mutation Operators (MED, JO, PA), pp. 11–20.

ICST-2014-AmmannDO #set

Establishing Theoretical Minimal Sets of Mutants (PA, MED, JO), pp. 21–30.

ICST-2014-DemuthLE #automation #incremental #optimisation #product line

Automatic and Incremental Product Optimization for Software Product Lines (AD, RELH, AE), pp. 31–40.

ICST-2014-SanchezSC #comparison #product line #testing

A Comparison of Test Case Prioritization Criteria for Software Product Lines (ABS, SS, ARC), pp. 41–50.

ICST-2014-LacknerTWW #design #modelling #product line

Model-Based Test Design of Product Lines: Raising Test Design to the Product Line Level (HL, MT, FW, SW), pp. 51–60.

ICST-2014-HongPK #concurrent #detection #fault #java #web

Detecting Concurrency Errors in Client-Side Java Script Web Applications (SH, YP, MK), pp. 61–70.

ICST-2014-DenaroPV #data flow #on the #testing

On the Right Objectives of Data Flow Testing (GD, MP, MV), pp. 71–80.

ICST-2014-AraujoC #data flow #in the large #testing

Data-Flow Testing in the Large (RPAdA, MLC), pp. 81–90.

ICST-2014-TokumotoSSUW #automation #industrial #locality

Semi-automatic Incompatibility Localization for Re-engineered Industrial Software (ST, KS, KS, TU, HW), pp. 91–94.

ICST-2014-MiicBT #analysis #automation #multi #platform #test coverage #testing

Automated Multi-platform Testing and Code Coverage Analysis of the CP2K Application (MM, IB, MT), pp. 95–98.

ICST-2014-PatelK #case study #enterprise #experience #implementation #reuse #testing

Test Case Reuse in Enterprise Software Implementation — An Experience Report (SP, RKK), pp. 99–102.

ICST-2014-WojciakT #case study #combinator #concurrent #maintenance #testing

System Level Combinatorial Testing in Practice — The Concurrent Maintenance Case Study (PW, RTB), pp. 103–112.

ICST-2014-WiklundSEL #analysis #automation #empirical #testing

Impediments for Automated Testing — An Empirical Analysis of a User Support Discussion Board (KW, DS, SE, KL), pp. 113–122.

ICST-2014-HuntBF #automation #testing #user interface

Automatic Testing of Natural User Interfaces (CJH, GB, GF), pp. 123–132.

ICST-2014-Marin #approach #automation #database #multi #testing

A Data-Agnostic Approach to Automatic Testing of Multi-dimensional Databases (MM), pp. 133–142.

ICST-2014-VarvaressosLMGH #automation #case study #debugging #game studies #monitoring #runtime #video

Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring (SV, KL, ABM, SG, SH), pp. 143–152.

ICST-2014-MoonKKY #fault #locality #source code

Ask the Mutants: Mutating Faulty Programs for Fault Localization (SM, YK, MK, SY), pp. 153–162.

ICST-2014-KifetewJTOT #grammarware #source code

Reproducing Field Failures for Programs with Complex Grammar-Based Input (FMK, WJ, RT, AO, PT), pp. 163–172.

ICST-2014-BardinKC #execution #performance #symbolic computation #test coverage

Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria (SB, NK, FC), pp. 173–182.

ICST-2014-ZaeemPK #automation #generative #mobile #testing

Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps (RNZ, MRP, SK), pp. 183–192.

ICST-2014-AydinAB #automation #generative #testing

Automated Test Generation from Vulnerability Signatures (AA, MA, TB), pp. 193–202.

ICST-2014-DelamaroDDLO #c #evaluation

Experimental Evaluation of SDL and One-Op Mutation for C (MED, LD, VHSD, NL, JO), pp. 203–212.

ICST-2014-PotetMPD #approach #control flow #evaluation #injection #named #robust

Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections (MLP, LM, MP, LD), pp. 213–222.

ICST-2014-WeisslederS #embedded #evaluation #modelling #testing

An Evaluation of Model-Based Testing in Embedded Applications (SW, HS), pp. 223–232.

ICST-2014-LiGP #database #outsourcing

Sanitizing and Minimizing Databases for Software Application Test Outsourcing (BL, MG, DP), pp. 233–242.

ICST-2014-GroceAZCR #reduction #testing

Cause Reduction for Quick Testing (AG, MAA, CZ, YC, JR), pp. 243–252.

ICST-2014-SchwarzlB #test coverage

Model Dependent Test Coverage Variabilities (CS, HB), pp. 253–262.

ICST-2014-KimXKCR #framework #hybrid #testing

Hybrid Directed Test Suite Augmentation: An Interleaving Framework (YK, ZX, MK, MBC, GR), pp. 263–272.

ICST-2014-AssiriB #assessment #automation #quality

An Assessment of the Quality of Automated Program Operator Repair (FYA, JMB), pp. 273–282.

ICST-2014-EngstromMRB #testing #visual notation

Supporting Regression Test Scoping with Visual Analytics (EE, MM, PR, MB), pp. 283–292.

ICST-2014-PouldingW #automation #probability

Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles (SMP, HW), pp. 293–302.

ICST-2014-BallerLLS #incremental #multi #optimisation #product line #testing

Multi-objective Test Suite Optimization for Incremental Product Family Testing (HB, SL, ML, IS), pp. 303–312.

ICST-2014-YuSCR #embedded #framework #named #testing #worst-case

SimLatte: A Framework to Support Testing for Worst-Case Interrupt Latencies in Embedded Software (TY, WSa, MBC, GR), pp. 313–322.

ICST-2014-JohanssonSLAG #fuzzing #modelling #named #protocol #robust #testing

T-Fuzz: Model-Based Fuzzing for Robustness Testing of Telecommunication Protocols (WJ, MS, UEL, MA, VG), pp. 323–332.

ICST-2014-HaysHB #testing #validation

Validation of Software Testing Experiments: A Meta-Analysis of ICST 2013 (MH, JHH, ACB), pp. 333–342.

ICST-2014-Feldt #question #testing

Do System Test Cases Grow Old? (RF), pp. 343–352.

ICST-2014-AliH #challenge #lessons learnt #modelling #testing #video

Model-Based Testing of Video Conferencing Systems: Challenges, Lessons Learnt, and Results (SA, HH), pp. 353–362.

ICST-2014-LiO #analysis #empirical #modelling #testing

An Empirical Analysis of Test Oracle Strategies for Model-Based Testing (NL, JO), pp. 363–372.

ICST-2014-DacaHKN #composition #specification #testing

Compositional Specifications for ioco Testing (PD, TAH, WK, DN), pp. 373–382.