Giuliano Antoniol, Antonia Bertolino, Yvan Labiche
Proceedings of the Fifth IEEE International Conference on Software Testing, Verification and Validation
ICST, 2012.

@proceedings{ICST-2012,
	address       = "Montreal, Quebec, Canada",
	editor        = "Giuliano Antoniol and Antonia Bertolino and Yvan Labiche",
	ee            = "http://www.computer.org/csdl/proceedings/icst/2012/4670/00/index.html",
	isbn          = "978-1-4577-1906-6",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the Fifth IEEE International Conference on Software Testing, Verification and Validation}",
	year          = 2012,
}

Event page: http://icst2012.soccerlab.polymtl.ca/Content/home/index.php?language=english

Contents (127 items)

65 ×#testing
18 ×#using
14 ×#automation
13 ×#modelling
12 ×#analysis
12 ×#combinator
12 ×#named
10 ×#fault
10 ×#generative
9 ×#web

ICST-2012-UjhelyiHV #model transformation #slicing

Dynamic Backward Slicing of Model Transformations (ZU, ÁH, DV), pp. 1–10.

ICST-2012-GligoricMM #model checking #named #programming language

X10X: Model Checking a New Programming Language with an “Old” Model Checker (MG, PCM, DM), pp. 11–20.

ICST-2012-TonellaMNJLH #approximate #execution #modelling

Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs (PT, AM, DCN, YJ, KL, MH), pp. 21–30.

ICST-2012-OcarizaPM #automation #fault #javascript #named

AutoFLox: An Automatic Fault Localizer for Client-Side JavaScript (FSOJ, KP, AM), pp. 31–40.

ICST-2012-BandyopadhyayG #fault #feedback #locality

Tester Feedback Driven Fault Localization (AB, SG), pp. 41–50.

ICST-2012-ParkVH #approach #concurrent #debugging

A Unified Approach for Localizing Non-deadlock Concurrency Bugs (SP, RWV, MJH), pp. 51–60.

ICST-2012-ZhouF #database #effectiveness #empirical

Empirical Studies on Test Effectiveness for Database Applications (CZ, PGF), pp. 61–70.

ICST-2012-BlancoTS #approach #evaluation #interactive #test coverage #testing

Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach (RB, JT, RVS), pp. 71–80.

ICST-2012-MarianiPRS #automation #black box #interactive #named #testing

AutoBlackTest: Automatic Black-Box Testing of Interactive Applications (LM, MP, OR, MS), pp. 81–90.

ICST-2012-SiddiquiMK #analysis #constraints #data flow #lightweight #theorem proving

Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving (JHS, DM, SK), pp. 91–100.

ICST-2012-LiuNT #bound #case study #smt #using #verification

Bounded Program Verification Using an SMT Solver: A Case Study (TL, MN, MT), pp. 101–110.

ICST-2012-BorgesdABP #execution #metaheuristic #symbolic computation

Symbolic Execution with Interval Solving and Meta-heuristic Search (MB, Md, SA, DHB, CSP), pp. 111–120.

ICST-2012-FraserA #search-based #testing

The Seed is Strong: Seeding Strategies in Search-Based Software Testing (GF, AA), pp. 121–130.

ICST-2012-CadavidBS #bound #metamodelling #modelling

Searching the Boundaries of a Modeling Space to Test Metamodels (JJC, BB, HAS), pp. 131–140.

ICST-2012-McMinnSS #data type #generative #query #search-based #string #using #web

Search-Based Test Input Generation for String Data Types Using the Results of Web Queries (PM, MS, MS), pp. 141–150.

ICST-2012-AlshahwanHMTT #metric #web

Crawlability Metrics for Web Applications (NA, MH, AM, RT, PT), pp. 151–160.

ICST-2012-SprenkleCP #classification #modelling #statistics #web

Leveraging User-Privilege Classification to Customize Usage-based Statistical Models of Web Applications (SS, CC, LLP), pp. 161–170.

ICST-2012-ChoudharyPO #crawling #detection #difference #named #web

CrossCheck: Combining Crawling and Differencing to Better Detect Cross-browser Incompatibilities in Web Applications (SRC, MRP, AO), pp. 171–180.

ICST-2012-DevineGKLL #empirical #fault #industrial #product line

An Empirical Study of Pre-release Software Faults in an Industrial Product Line (TRD, KGP, SK, RRL, JJL), pp. 181–190.

ICST-2012-DiGiuseppeJ #behaviour #clustering #empirical #fault

Software Behavior and Failure Clustering: An Empirical Study of Fault Causality (ND, JAJ), pp. 191–200.

ICST-2012-Oriol #evaluation #fault #random testing #testing

Random Testing: Evaluation of a Law Describing the Number of Faults Found (MO), pp. 201–210.

ICST-2012-MalikK #analysis #graph #using

Dynamic Shape Analysis Using Spectral Graph Properties (MZM, SK), pp. 211–220.

ICST-2012-MarbackDE #approach #effectiveness #php #testing #web

An Effective Regression Testing Approach for PHP Web Applications (AM, HD, NE), pp. 221–230.

ICST-2012-MirzaAghaeiPP #adaptation #evolution #testing

Supporting Test Suite Evolution through Test Case Adaptation (MM, FP, MP), pp. 231–240.

ICST-2012-FrankeKWP #consistency #lifecycle #mobile #testing

Testing Conformance of Life Cycle Dependent Properties of Mobile Applications (DF, SK, CW, NP), pp. 241–250.

ICST-2012-FangKDO #formal method #manycore #modelling

Formal Model-Based Test for AUTOSAR Multicore RTOS (LF, TK, TBND, HO), pp. 251–259.

ICST-2012-TanMTL #consistency #detection #nondeterminism #testing

@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies (SHT, DM, LT, GTL), pp. 260–269.

ICST-2012-BeyeneA #generative #string #test coverage #testing

Generating String Test Data for Code Coverage (MB, JHA), pp. 270–279.

ICST-2012-LiLO #algorithm #cost analysis

Better Algorithms to Minimize the Cost of Test Paths (NL, FL, JO), pp. 280–289.

ICST-2012-DanH #analysis #comparison #float #mutation testing #semantics

Semantic Mutation Analysis of Floating-Point Comparison (HD, RMH), pp. 290–299.

ICST-2012-FraserW #behaviour #testing

Behaviourally Adequate Software Testing (GF, NW), pp. 300–309.

ICST-2012-PetrenkoSY #finite #generative #nondeterminism #sequence #state machine

Generating Checking Sequences for Nondeterministic Finite State Machines (AP, AdSS, NY), pp. 310–319.

ICST-2012-JagannathKLM #independence #metric

Evaluating Machine-Independent Metrics for State-Space Exploration (VJ, MK, YL, DM), pp. 320–329.

ICST-2012-JuzgadoVSAR #abstraction #branch #clustering #effectiveness #equivalence #testing

Comparing the Effectiveness of Equivalence Partitioning, Branch Testing and Code Reading by Stepwise Abstraction Applied by Subjects (NJJ, SV, MS, SA, IR), pp. 330–339.

ICST-2012-KimKR #approach #distributed #empirical #evaluation #scalability #testing

A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation (MK, YK, GR), pp. 340–349.

ICST-2012-BorjessonF #automation #case study #comparative #industrial #testing #tool support #user interface #using #visual notation

Automated System Testing Using Visual GUI Testing Tools: A Comparative Study in Industry (EB, RF), pp. 350–359.

ICST-2012-SunSPR #cost analysis #learning #named #reliability

CARIAL: Cost-Aware Software Reliability Improvement with Active Learning (BS, GS, AP, SR), pp. 360–369.

ICST-2012-GhandehariLXKK #combinator #identification #testing

Identifying Failure-Inducing Combinations in a Combinatorial Test Set (LSGG, YL, TX, DRK, RK), pp. 370–379.

ICST-2012-DengJ #dependence #graph

Weighted System Dependence Graph (FD, JAJ), pp. 380–389.

ICST-2012-KimKJ #case study #embedded #industrial #testing

Industrial Application of Concolic Testing on Embedded Software: Case Studies (MK, YK, YJ), pp. 390–399.

ICST-2012-JollyGE #automation #case study #industrial #research #testing

Automated Unit Testing of a SCADA Control Software: An Industrial Case Study Based on Action Research (SAJ, VG, MME), pp. 400–409.

ICST-2012-ZamanAH #analysis #empirical #performance #scalability

A Large Scale Empirical Study on User-Centric Performance Analysis (SZ, BA, AEH), pp. 410–419.

ICST-2012-GrooteOW #formal method #using

Analyzing a Controller of a Power Distribution Unit Using Formal Methods (JFG, AO, JHW), pp. 420–428.

ICST-2012-Kannavara #source code #static analysis

Securing Opensource Code via Static Analysis (RK), pp. 429–436.

ICST-2012-JonssonBSE #automation #scalability #towards #using

Towards Automated Anomaly Report Assignment in Large Complex Systems Using Stacked Generalization (LJ, DB, KS, SE), pp. 437–446.

ICST-2012-FilhoB #approach #modelling #testing

An Integrated Model-Driven Approach for Mechatronic Systems Testing (RSSF, CJB), pp. 447–456.

ICST-2012-WahlerFSJN #automation #embedded #named #testing

CAST: Automating Software Tests for Embedded Systems (MW, EF, RS, RJ, KN), pp. 457–466.

ICST-2012-ChenLYS #question #testing #user interface #what

When a GUI Regression Test Failed, What Should be Blamed? (JC, ML, KY, BS), pp. 467–470.

ICST-2012-Li #automation #testing

A Smart Structured Test Automation Language (SSTAL) (NL), pp. 471–474.

ICST-2012-Borjesson #automation #industrial #testing #user interface #visual notation

Industrial Applicability of Visual GUI Testing for System and Acceptance Test Automation (EB), pp. 475–478.

ICST-2012-Bandyopadhyay #correctness #fault #locality

Mitigating the Effect of Coincidental Correctness in Spectrum Based Fault Localization (AB), pp. 479–482.

ICST-2012-MalzJG #fuzzy #logic #testing #using

Prioritization of Test Cases Using Software Agents and Fuzzy Logic (CM, NJ, PG), pp. 483–486.

ICST-2012-YuL #debugging #fault #towards

Towards Practical Debugging for Regression Faults (KY, ML), pp. 487–490.

ICST-2012-Nguyen #comprehension #detection #performance #scalability #using

Using Control Charts for Detecting and Understanding Performance Regressions in Large Software (THDN), pp. 491–494.

ICST-2012-Praphamontripong #mutation testing #testing #web

Web Mutation Testing (UP), pp. 495–498.

ICST-2012-CalvarTH #framework #monitoring #runtime

A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments (JC, RTL, SH), pp. 499–508.

ICST-2012-EnderlinDGB #grammarware #php #testing #using

Grammar-Based Testing Using Realistic Domains in PHP (IE, FD, AG, FB), pp. 509–518.

ICST-2012-MewsSW #modelling

From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain (MM, JS, SW), pp. 519–528.

ICST-2012-KheddamAP

An Extended LLRP Model for RFID System Test and Diagnosis (RK, OEKA, IP), pp. 529–538.

ICST-2012-KruseW #classification #generative #sequence #testing

Test Sequence Generation from Classification Trees (PMK, JW), pp. 539–548.

ICST-2012-EndoS #comparison #finite #generative #state machine #testing

Experimental Comparison of Test Case Generation Methods for Finite State Machines (ATE, AdSS), pp. 549–558.

ICST-2012-GargantiniV #combinator #interactive #named #testing

CITLAB: A Laboratory for Combinatorial Interaction Testing (AG, PV), pp. 559–568.

ICST-2012-RamlerKP #combinator #design #lessons learnt

Combinatorial Test Design in the TOSCA Testsuite: Lessons Learned and Practical Implications (RR, TK, WP), pp. 569–572.

ICST-2012-SegallTZ #combinator #modelling

Simplified Modeling of Combinatorial Test Spaces (IS, RTB, AZ), pp. 573–579.

ICST-2012-BallanceVJ #effectiveness #testing

Effectiveness of Pair-Wise Testing for Software with Boolean Inputs (WAB, SV, WJ), pp. 580–586.

ICST-2012-ZhangLZ #combinator #testing

Combinatorial Testing on ID3v2 Tags of MP3 Files (ZZ, XL, JZ), pp. 587–590.

ICST-2012-BorazjanyYLKK #case study #combinator #testing

Combinatorial Testing of ACTS: A Case Study (MNB, LY, YL, RK, RK), pp. 591–600.

ICST-2012-KuhnHLKL #combinator #sequence #testing

Combinatorial Methods for Event Sequence Testing (DRK, JMH, JL, RK, YL), pp. 601–609.

ICST-2012-SaleckerG #combinator #grammarware #interactive #testing

Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing (ES, SG), pp. 610–619.

ICST-2012-ShakyaXLLKK #classification #combinator #testing #using

Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification (KS, TX, NL, YL, RK, DRK), pp. 620–623.

ICST-2012-SegallTZ12a #combinator #modelling

Common Patterns in Combinatorial Models (IS, RTB, AZ), pp. 624–629.

ICST-2012-CunninghamHH #analysis #combinator #testing

A System Analysis Study Comparing Reverse Engineered Combinatorial Testing to Expert Judgment (AMCJ, JDH, RJH), pp. 630–635.

ICST-2012-MizanF #analysis #automation #performance

Automated Performance Model Construction through Event Log Analysis (AM, GF), pp. 636–641.

ICST-2012-MeiraATS #peer-to-peer #testing

Peer-to-Peer Load Testing (JAM, ECdA, YLT, GS), pp. 642–647.

ICST-2012-HashemianKA #benchmark #challenge #manycore #metric #web

Overcoming Web Server Benchmarking Challenges in the Multi-core Era (RH, DK, MFA), pp. 648–653.

ICST-2012-DanH12a #c #mutation testing #named #semantics #testing #tool support

SMT-C: A Semantic Mutation Testing Tools for C (HD, RMH), pp. 654–663.

ICST-2012-MateoU #execution #music #reduction

Mutant Execution Cost Reduction: Through MUSIC (Mutant Schema Improved with Extra Code) (PRM, MPU), pp. 664–672.

ICST-2012-ElrakaibyMT #analysis #mutation testing #policy #testing #using

Testing Obligation Policy Enforcement Using Mutation Analysis (YE, TM, YLT), pp. 673–680.

ICST-2012-DurelliOD #mutation testing #testing #towards #virtual machine

Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing (VHSD, JO, MED), pp. 681–690.

ICST-2012-PapadakisT #fault #using

Using Mutants to Locate “Unknown” Faults (MP, YLT), pp. 691–700.

ICST-2012-KintisPM #first-order #higher-order

Isolating First Order Equivalent Mutants via Second Order Mutation (MK, MP, NM), pp. 701–710.

ICST-2012-PatrickOC #evaluation #named #semantics

MESSI: Mutant Evaluation by Static Semantic Interpretation (MP, MO, JAC), pp. 711–719.

ICST-2012-JustKS #analysis #effectiveness #mutation testing #performance #question

Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis? (RJ, GMK, FS), pp. 720–725.

ICST-2012-GargD #database #testing #web

Test Case Prioritization Due to Database Changes in Web Applications (DG, AD), pp. 726–730.

ICST-2012-CaliebeHG #dependence #embedded #testing

Dependency-Based Test Case Selection and Prioritization in Embedded Systems (PC, TH, RG), pp. 731–735.

ICST-2012-GuoSC #analysis #clustering #testing

Analysis of Test Clusters for Regression Testing (BG, MS, PC), p. 736.

ICST-2012-MasriAZF #fault #locality #multi #visualisation

Enhancing Fault Localization via Multivariate Visualization (WM, RAA, FAZ, NF), pp. 737–741.

ICST-2012-RunesonE #3d #problem #product line #testing

Software Product Line Testing — A 3D Regression Testing Problem (PR, EE), pp. 742–746.

ICST-2012-ZaraketMAHHFKN #named #testing #user interface

GUICOP: Specification-Based GUI Testing (FAZ, WM, MA, DH, RH, RF, EK, JN), pp. 747–751.

ICST-2012-AichernigJ #constraints #modelling #mutation testing #semantics #testing #towards

Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints (BKA, EJ), pp. 752–757.

ICST-2012-KruseBW #combinator #constraints #interactive #testing

Numerical Constraints for Combinatorial Interaction Testing (PMK, JB, JW), pp. 758–763.

ICST-2012-AlesioGNB #constraints #optimisation #realtime #testing #using

Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques (SDA, AG, SN, LCB), pp. 764–769.

ICST-2012-Wotawa #challenge #constraints #fault #open science #research #source code #using

Open Research Challenges of Localizing Faults in Programs Using Constraints (FW), pp. 770–771.

ICST-2012-PasareanuB #analysis #statechart

Statechart Analysis with Symbolic PathFinder (CSP, DB), p. 772.

ICST-2012-GotliebHB #constraints #programming #using

Minimum Pairwise Coverage Using Constraint Programming Techniques (AG, AH, BB), pp. 773–774.

ICST-2012-PonsiniMR #abstract interpretation #analysis #constraints #float #programming #source code

Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs (OP, CM, MR), pp. 775–776.

ICST-2012-PavlovF #automation #generative #search-based #testing

Semi-automatic Search-Based Test Generation (YP, GF), pp. 777–784.

ICST-2012-GeronimoFMS #algorithm #automation #generative #parallel #pipes and filters #search-based #testing

A Parallel Genetic Algorithm Based on Hadoop MapReduce for the Automatic Generation of JUnit Test Suites (LDG, FF, AM, FS), pp. 785–793.

ICST-2012-Woehrle #network #protocol #search-based #testing

Search-Based Stress Testing of Wireless Network Protocol Stacks (MW), pp. 794–803.

ICST-2012-DelamareK #algorithm #aspect-oriented #integration #order #search-based

A Genetic Algorithm for Computing Class Integration Test Orders for Aspect-Oriented Systems (RD, NAK), pp. 804–813.

ICST-2012-Schieferdecker #modelling #testing

Model-Based Fuzz Testing (IS), p. 814.

ICST-2012-DucheneGRR #detection #fuzzing #model inference #using

XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing (FD, RG, SR, JLR), pp. 815–817.

ICST-2012-BekrarBGM #approach #fuzzing

A Taint Based Approach for Smart Fuzzing (SB, CB, RG, LM), pp. 818–825.

ICST-2012-MassicotteCNM #analysis #testing

A Testing Model for Dynamic Malware Analysis Systems (FM, MC, HN, FM), pp. 826–833.

ICST-2012-PaciMBD #evolution #process #requirements #testing

Managing Evolution by Orchestrating Requirements and Testing Engineering Processes (FP, FM, FB, SD), pp. 834–841.

ICST-2012-BertolinoDLM #automation #generative #policy #testing

Automatic XACML Requests Generation for Policy Testing (AB, SD, FL, EM), pp. 842–849.

ICST-2012-ChoudharyDBJOI #challenge #internet #modelling #security #testing

Solving Some Modeling Challenges when Testing Rich Internet Applications for Security (SC, MED, GvB, GVJ, IVO, PI), pp. 850–857.

ICST-2012-BuchlerOP #named #testing #web

SPaCiTE — Web Application Testing Engine (MB, JO, AP), pp. 858–859.

ICST-2012-WehbiOB #monitoring #security #using

Events-Based Security Monitoring Using MMT Tool (BW, EMdO, MB), pp. 860–863.

ICST-2012-GansR #protocol #smarttech #testing

The SmartLogic Tool: Analysing and Testing Smart Card Protocols (GdKG, JdR), pp. 864–871.

ICST-2012-Runeson #case study #collaboration #experience #industrial

It Takes Two to Tango — An Experience Report on Industry — Academia Collaboration (PR), pp. 872–877.

ICST-2012-SheltonLAO #development #testing

Adding Criteria-Based Tests to Test Driven Development (WS, NL, PA, JO), pp. 878–886.

ICST-2012-WiklundESL #automation #technical debt #testing

Technical Debt in Test Automation (KW, SE, DS, KL), pp. 887–892.

ICST-2012-DustmannSW #distributed #testing

Symbolic System Time in Distributed Systems Testing (OSD, RS, KW), pp. 893–894.

ICST-2012-EldhS #case study #challenge #industrial #mobile #robust #testing

Robustness Testing of Mobile Telecommunication Systems: A Case Study on Industrial Practice and Challenges (SE, DS), pp. 895–900.

ICST-2012-ChrzaszczCST #evolution #protocol #testing

Testing of Evolving Protocols (JC, PC, AS, AT), pp. 901–906.

ICST-2012-KauffmanK #framework #industrial #research #testing

A Framework to Support Research in and Encourage Industrial Adoption of Regression Testing Techniques (JMK, GMK), pp. 907–908.

ICST-2012-ChittimalliS #framework #modelling #named #source code

GEMS: A Generic Model Based Source Code Instrumentation Framework (PKC, VS), pp. 909–914.

ICST-2012-VorobyovK #automation #constraints #generative #static analysis #testing #theorem proving

Combining Static Analysis and Constraint Solving for Automatic Test Case Generation (KV, PK), pp. 915–920.

ICST-2012-AmraniLSCDVTC #approach #model transformation #verification

A Tridimensional Approach for Studying the Formal Verification of Model Transformations (MA, LL, GMKS, BC, JD, HV, YLT, JRC), pp. 921–928.

ICST-2012-SyrianiG #challenge #model transformation #quality

Challenges for Addressing Quality Factors in Model Transformation (ES, JG), pp. 929–937.

ICST-2012-SalayCG #towards #verification

Towards a Methodology for Verifying Partial Model Refinements (RS, MC, JG), pp. 938–945.

ICST-2012-TranP #framework #graph transformation #towards #verification

Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations (HNT, CP), pp. 946–953.

ICST-2012-MeszarosL #graph transformation

Verified Operational Patterns with Graph Transformation (TM, TL), pp. 954–961.

ICST-2012-RaposD #execution #generative #incremental #modelling #symbolic computation #testing #uml #using

Incremental Test Case Generation for UML-RT Models Using Symbolic Execution (EJR, JD), pp. 962–963.

ICST-2012-Kapfhammer #database #testing #towards

Towards a Method for Reducing the Test Suites of Database Applications (GMK), pp. 964–965.

ICST-2012-MarcoLA #approach #re-engineering

Property-Driven Software Engineering Approach (ADM, FL, GDA), pp. 966–967.