Proceedings of the Sixth IEEE International Conference on Software Testing, Verification and Validation
ICST, 2013.

@proceedings{ICST-2013,
	address       = "Luxembourg, Luxembourg",
	ee            = "http://www.computer.org/csdl/proceedings/icst/2013/4968/00/index.html",
	isbn          = "978-1-4673-5961-0",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the Sixth IEEE International Conference on Software Testing, Verification and Validation}",
	year          = 2013,
}

Event page: http://www.icst.lu/

Contents (71 items)

46 ×#testing
16 ×#named
12 ×#generative
9 ×#modelling
6 ×#automation
6 ×#using
5 ×#fault
5 ×#framework
5 ×#industrial
4 ×#analysis

ICST-2013-BagnaraCGG #float #generative #source code #testing

Symbolic Path-Oriented Test Data Generation for Floating-Point Programs (RB, MC, RG, AG), pp. 1–10.

ICST-2013-PezzeRW #effectiveness #generative #integration #testing

Generating Effective Integration Test Cases from Unit Ones (MP, KR, JW), pp. 11–20.

ICST-2013-AbadABCFGMMRV #bound #contract #generative #incremental #satisfiability #testing

Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving (PA, NA, VSB, DC, MFF, JPG, TSEM, MMM, NR, IV), pp. 21–30.

ICST-2013-KapfhammerMW #constraints #database #multi #relational #search-based #testing

Search-Based Testing of Relational Schema Integrity Constraints Across Multiple Database Management Systems (GMK, PM, CJW), pp. 31–40.

ICST-2013-NetterGB #composition #framework #modelling #simulation #validation

Real-Data Validation of Simulation Models in a Function-Based Modular Framework (FN, FG, BB), pp. 41–47.

ICST-2013-TangHYW #metric #quality #using

Test Quality Measurement Using TBPP-R (JT, RH, JY, SW), pp. 48–55.

ICST-2013-AlegrothFO #automation #case study #industrial #testing

Transitioning Manual System Test Suites to Automated Testing: An Industrial Case Study (EA, RF, HHO), pp. 56–65.

ICST-2013-CanforaMVDFM #automation #case study #performance #smarttech #testing #user interface

A Case Study of Automating User Experience-Oriented Performance Testing on Smartphones (GC, FM, CAV, MD, AF, CM), pp. 66–69.

ICST-2013-KaushikATLL #challenge #fault #industrial

Defect Prioritization in the Software Industry: Challenges and Opportunities (NK, MA, LT, WL, SL), pp. 70–73.

ICST-2013-MirshokraieMP #javascript #mutation testing #performance #testing

Efficient JavaScript Mutation Testing (SM, AM, KP), pp. 74–83.

ICST-2013-DengOL #empirical #evaluation

Empirical Evaluation of the Statement Deletion Mutation Operator (LD, JO, NL), pp. 84–93.

ICST-2013-NairVSB #assessment #classification #overview #perspective #safety

Classification, Structuring, and Assessment of Evidence for Safety — A Systematic Literature Review (SN, JLdlV, MS, LCB), pp. 94–103.

ICST-2013-GraslandBGP #approach #functional #hybrid #safety #testing

A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information (YG, LdB, RG, IP), pp. 104–113.

ICST-2013-RosslerZFZC

Reconstructing Core Dumps (JR, AZ, GF, CZ, GC), pp. 114–123.

ICST-2013-ShuSPC #fault #locality #named

MFL: Method-Level Fault Localization with Causal Inference (GS, BS, AP, FC), pp. 124–133.

ICST-2013-HillTB #bound #c++ #named

GrowthTracker: Diagnosing Unbounded Heap Growth in C++ Software (EH, DJT, SB), pp. 134–143.

ICST-2013-SteenbuckF #concurrent #generative #testing

Generating Unit Tests for Concurrent Classes (SS, GF), pp. 144–153.

ICST-2013-ChristakisGS #concurrent #detection #erlang #fault #source code #testing

Systematic Testing for Detecting Concurrency Errors in Erlang Programs (MC, AG, KFS), pp. 154–163.

ICST-2013-LinD #concurrent #java #using

CHECK-THEN-ACT Misuse of Java Concurrent Collections (YL, DD), pp. 164–173.

ICST-2013-GrechanikHB #database #testing

Testing Database-Centric Applications for Causes of Database Deadlocks (MG, BMMH, UB), pp. 174–183.

ICST-2013-YeolekarUAKV #generative #model checking #scalability #testing #using

Scaling Model Checking for Test Generation Using Dynamic Inference (AY, DU, VA, SK, RV), pp. 184–191.

ICST-2013-BotellaBCLLS #component #encryption #experience #lessons learnt #modelling #testing

Model-Based Testing of Cryptographic Components — Lessons Learned from Experience (JB, FB, JFC, FL, BL, FS), pp. 192–201.

ICST-2013-ErikssonLO #empirical #framework #independence #platform #testing

Transformation Rules for Platform Independent Testing: An Empirical Study (AE, BL, JO), pp. 202–211.

ICST-2013-AliYB #empirical #quality #robust #state machine #testing

Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment (SA, TY, LCB), pp. 212–221.

ICST-2013-CzemerinskiBU #abstraction #behaviour #black box

Behaviour Abstraction Coverage as Black-Box Adequacy Criteria (HC, VAB, SU), pp. 222–231.

ICST-2013-HongSAKR #concurrent #effectiveness #metric #testing

The Impact of Concurrent Coverage Metrics on Testing Effectiveness (SH, MS, JA, MK, GR), pp. 232–241.

ICST-2013-YuLBKK #algorithm #combinator #constraints #generative #performance #testing

An Efficient Algorithm for Constraint Handling in Combinatorial Test Generation (LY, YL, MNB, RK, DRK), pp. 242–251.

ICST-2013-CanforaLPOPP #fault #multi #predict

Multi-objective Cross-Project Defect Prediction (GC, ADL, MDP, RO, AP, SP), pp. 252–261.

ICST-2013-CarrozzaCNPR #analysis #industrial #predict

Analysis and Prediction of Mandelbugs in an Industrial Software System (GC, DC, RN, RP, SR), pp. 262–271.

ICST-2013-Roper #fault #testing

Estimating Fault Numbers Remaining After Testing (MR), pp. 272–281.

ICST-2013-LiuYTH #automation #debugging #generative #named

R2Fix: Automatically Generating Bug Fixes from Bug Reports (CL, JY, LT, MH), pp. 282–291.

ICST-2013-YuQAR #testing

Oracle-based Regression Test Selection (TY, XQ, MA, GR), pp. 292–301.

ICST-2013-NardoABL #case study #industrial #testing

Coverage-Based Test Case Prioritisation: An Industrial Case Study (DDN, NA, LCB, YL), pp. 302–311.

ICST-2013-ArafeenD #clustering #testing #using

Test Case Prioritization Using Requirements-Based Clustering (MJA, HD), pp. 312–321.

ICST-2013-GreilerDS #automation #detection #smell

Automated Detection of Test Fixture Strategies and Smells (MG, AvD, MADS), pp. 322–331.

ICST-2013-DolstraVP #crowdsourcing #testing #user interface

Crowdsourcing GUI Tests (ED, RV, JAP), pp. 332–341.

ICST-2013-PastoreMF #named #problem #question

CrowdOracles: Can the Crowd Solve the Oracle Problem? (FP, LM, GF), pp. 342–351.

ICST-2013-AfshanMS #evolution #natural language #string #testing #using

Evolving Readable String Test Inputs Using a Natural Language Model to Reduce Human Oracle Cost (SA, PM, MS), pp. 352–361.

ICST-2013-FraserA #challenge #generative #named #testing

EvoSuite: On the Challenges of Test Case Generation in the Real World (GF, AA), pp. 362–369.

ICST-2013-YuLKK #combinator #generative #named #testing

ACTS: A Combinatorial Test Generation Tool (LY, YL, RK, DRK), pp. 370–375.

ICST-2013-CalvagnaGV #combinator #interactive #testing

Combinatorial Interaction Testing with CITLAB (AC, AG, PV), pp. 376–382.

ICST-2013-Torsel #domain-specific language #model checking #modelling #testing #using #web

A Testing Tool for Web Applications Using a Domain-Specific Modelling Language and the NuSMV Model Checker (AMT), pp. 383–390.

ICST-2013-LegeardB #enterprise #modelling #testing

Smartesting CertifyIt: Model-Based Testing for Enterprise IT (BL, AB), pp. 391–397.

ICST-2013-LuchscheiderHG #named #testing

CDM-Suite: An Attributed Test Selection Tool (PL, TH, RG), pp. 398–407.

ICST-2013-ShuSHP #analysis #dependence #framework #named #platform

JavaPDG: A New Platform for Program Dependence Analysis (GS, BS, TADH, AP), pp. 408–415.

ICST-2013-PastoreM #debugging #named

AVA: Supporting Debugging with Failure Interpretations (FP, LM), pp. 416–421.

ICST-2013-SakamotoSTWF #framework #metric #multi #named #programming language #test coverage #tool support

OCCF: A Framework for Developing Test Coverage Measurement Tools Supporting Multiple Programming Languages (KS, KS, RT, HW, YF), pp. 422–430.

ICST-2013-DadeauCLTVBT #evaluation #generative #testing

Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations — The TASCCC Testing Tool (FD, KCC, YL, TT, GV, JB, ST), pp. 431–438.

ICST-2013-AlegrothNO #automation #named #testing

JAutomate: A Tool for System- and Acceptance-test Automation (EA, MN, HHO), pp. 439–446.

ICST-2013-MeinkeS #named #testing

LBTest: A Learning-Based Testing Tool for Reactive Systems (KM, MAS), pp. 447–454.

ICST-2013-CompagnaGB #as a service #process #security #validation

Business Process Compliance via Security Validation as a Service (LC, PG, ADB), pp. 455–462.

ICST-2013-GargantiniGM #analysis #automation #named #robust

AURORA: AUtomatic RObustness coveRage Analysis Tool (AG, MG, EM), pp. 463–470.

ICST-2013-BlomeOLPD #flexibility #modelling #named #testing

VERA: A Flexible Model-Based Vulnerability Testing Tool (AB, MO, KL, MP, MTD), pp. 471–478.

ICST-2013-IchidaSO #testing

A Method of Making Single Function Tests for Constituting Scenario Tests (NI, TS, HO), pp. 479–480.

ICST-2013-KangKHKNSC #formal method #modelling #verification

Formal Modeling and Verification of SDN-OpenFlow (MK, EYEK, DYH, BJK, KHN, MKS, JYC), pp. 481–482.

ICST-2013-UrataK #diagrams #testing #visualisation

Proposal of Testing Diagrams for Visualizing Test Cases (SU, TK), pp. 483–484.

ICST-2013-CraciunML #modelling #testing #towards

Towards Better Testing of fUML Models (FC, SM, IL), pp. 485–486.

ICST-2013-LeottaCRS #case study #industrial #locality #testing #web

Repairing Selenium Test Cases: An Industrial Case Study about Web Page Element Localization (ML, DC, FR, CS), pp. 487–488.

ICST-2013-MossigeGM #constraints #generative #integration #programming #testing #using

Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment (MM, AG, HM), pp. 489–490.

ICST-2013-MunetohY #agile #development #framework #named #security #testing

RAILROADMAP: An Agile Security Testing Framework for Web-application Development (SM, NY), pp. 491–492.

ICST-2013-FarooqQA #effectiveness #empirical #performance #testing

A Controlled Experiment to Evaluate Effectiveness and Efficiency of Three Software Testing Methods (SUF, SMKQ, NA), pp. 493–494.

ICST-2013-BertolinoBDKLM #design #policy #testing

A Toolchain for Designing and Testing XACML Policies (AB, MB, SD, NK, FL, EM), pp. 495–496.

ICST-2013-Vigano #internet

The SPaCIoS Project: Secure Provision and Consumption in the Internet of Services (LV), pp. 497–498.

ICST-2013-Bauersfeld #named #testing #user interface #visual notation

GUIdiff — A Regression Testing Tool for Graphical User Interfaces (SB), pp. 499–500.

ICST-2013-Buchler #security #testing

Security Testing with Fault-Models and Properties (MB), pp. 501–502.

ICST-2013-Gauthier #generative #modelling #research #testing

Test Generation for RTES from SysML Models: Context, Motivations and Research Proposal (JMG), pp. 503–504.

ICST-2013-Vernotte #modelling #research #testing #web

Research Questions for Model-Based Vulnerability Testing of Web Applications (AV), pp. 505–506.

ICST-2013-FryW #analysis #maintenance

Leveraging Light-Weight Analyses to Aid Software Maintenance (ZPF, WW), pp. 507–508.

ICST-2013-Lelli #challenge #interactive #testing

Challenges of Testing for Critical Interactive Systems (VL), pp. 509–510.

ICST-2013-Deak #comprehension #social

Understanding the Influence of Social and Technical Factors Testers in Software Organizations (AD), pp. 511–512.

ICST-2013-Mercaldo #database #identification #process

Identification of Anomalies in Processes of Database Alteration (FM), pp. 513–514.