Table of Contents

• Dynamic Backward Slicing of Model TransformationsZoltán Ujhelyi, Ákos Horváth, Dániel Varró. 1-10 [doi]
• X10X: Model Checking a New Programming Language with an "Old" Model CheckerMilos Gligoric, Peter C. Mehlitz, Darko Marinov. 11-20 [doi]
• Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution LogsPaolo Tonella, Alessandro Marchetto, Duy Cu Nguyen, Yue Jia, Kiran Lakhotia, Mark Harman. 21-30 [doi]
• AutoFLox: An Automatic Fault Localizer for Client-Side JavaScriptFrolin S. Ocariza Jr., Karthik Pattabiraman, Ali Mesbah. 31-40 [doi]
• Tester Feedback Driven Fault LocalizationAritra Bandyopadhyay, Sudipto Ghosh. 41-50 [doi]
• A Unified Approach for Localizing Non-deadlock Concurrency BugsSangmin Park, Richard W. Vuduc, Mary Jean Harrold. 51-60 [doi]
• Empirical Studies on Test Effectiveness for Database ApplicationsChixiang Zhou, Phyllis G. Frankl. 61-70 [doi]
• Test Adequacy Evaluation for the User-database Interaction: A Specification-Based ApproachRaquel Blanco, Javier Tuya, Rubén V. Seco. 71-80 [doi]
• AutoBlackTest: Automatic Black-Box Testing of Interactive ApplicationsLeonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro. 81-90 [doi]
• Lightweight Data-Flow Analysis for Execution-Driven Constraint SolvingJunaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid. 91-100 [doi]
• Bounded Program Verification Using an SMT Solver: A Case StudyTianhai Liu, Michael Nagel, Mana Taghdiri. 101-110 [doi]
• Symbolic Execution with Interval Solving and Meta-heuristic SearchMateus Borges, Marcelo d'Amorim, Saswat Anand, David H. Bushnell, Corina S. Pasareanu. 111-120 [doi]
• The Seed is Strong: Seeding Strategies in Search-Based Software TestingGordon Fraser, Andrea Arcuri. 121-130 [doi]
• Searching the Boundaries of a Modeling Space to Test MetamodelsJuan José Cadavid, Benoit Baudry, Houari A. Sahraoui. 131-140 [doi]
• Search-Based Test Input Generation for String Data Types Using the Results of Web QueriesPhil McMinn, Muzammil Shahbaz, Mark Stevenson. 141-150 [doi]
• Crawlability Metrics for Web ApplicationsNadia Alshahwan, Mark Harman, Alessandro Marchetto, Roberto Tiella, Paolo Tonella. 151-160 [doi]
• Leveraging User-Privilege Classification to Customize Usage-based Statistical Models of Web ApplicationsSara Sprenkle, Camille Cobb, Lori L. Pollock. 161-170 [doi]
• CrossCheck: Combining Crawling and Differencing to Better Detect Cross-browser Incompatibilities in Web ApplicationsShauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso. 171-180 [doi]
• An Empirical Study of Pre-release Software Faults in an Industrial Product LineThomas R. Devine, Katerina Goseva-Popstojanova, Sandeep Krishnan, Robyn R. Lutz, J. Jenny Li. 181-190 [doi]
• Software Behavior and Failure Clustering: An Empirical Study of Fault CausalityNicholas DiGiuseppe, James A. Jones. 191-200 [doi]
• Random Testing: Evaluation of a Law Describing the Number of Faults FoundManuel Oriol. 201-210 [doi]
• Dynamic Shape Analysis Using Spectral Graph PropertiesMuhammad Zubair Malik, Sarfraz Khurshid. 211-220 [doi]
• An Effective Regression Testing Approach for PHP Web ApplicationsAaron Marback, Hyunsook Do, Nathan Ehresmann. 221-230 [doi]
• Supporting Test Suite Evolution through Test Case AdaptationMehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezzè. 231-240 [doi]
• Testing Conformance of Life Cycle Dependent Properties of Mobile ApplicationsDominik Franke, Stefan Kowalewski, Carsten Weise, Nath Prakobkosol. 241-250 [doi]
• Formal Model-Based Test for AUTOSAR Multicore RTOSLing Fang, Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki. 251-259 [doi]
• @tComment: Testing Javadoc Comments to Detect Comment-Code InconsistenciesShin Hwei Tan, Darko Marinov, Lin Tan, Gary T. Leavens. 260-269 [doi]
• Generating String Test Data for Code CoverageMichael Beyene, James H. Andrews. 270-279 [doi]
• Better Algorithms to Minimize the Cost of Test PathsNan Li, Fei Li, Jeff Offutt. 280-289 [doi]
• Semantic Mutation Analysis of Floating-Point ComparisonHaitao Dan, Robert M. Hierons. 290-299 [doi]
• Behaviourally Adequate Software TestingGordon Fraser, Neil Walkinshaw. 300-309 [doi]
• Generating Checking Sequences for Nondeterministic Finite State MachinesAlexandre Petrenko, Adenilso da Silva Simão, Nina Yevtushenko. 310-319 [doi]
• Evaluating Machine-Independent Metrics for State-Space ExplorationVilas Jagannath, Matt Kirn, Yu Lin, Darko Marinov. 320-329 [doi]
• Comparing the Effectiveness of Equivalence Partitioning, Branch Testing and Code Reading by Stepwise Abstraction Applied by SubjectsNatalia Juristo Juzgado, Sira Vegas, Martín Solari, Silvia Abrahão, Isabel Ramos. 330-339 [doi]
• A Scalable Distributed Concolic Testing Approach: An Empirical EvaluationMoonzoo Kim, Yunho Kim, Gregg Rothermel. 340-349 [doi]
• Automated System Testing Using Visual GUI Testing Tools: A Comparative Study in IndustryEmil Börjesson, Robert Feldt. 350-359 [doi]
• CARIAL: Cost-Aware Software Reliability Improvement with Active LearningBoya Sun, Gang Shu, Andy Podgurski, Soumya Ray. 360-369 [doi]
• Identifying Failure-Inducing Combinations in a Combinatorial Test SetLaleh Shikh Gholamhossein Ghandehari, Yu Lei, Tao Xie, D. Richard Kuhn, Raghu Kacker. 370-379 [doi]
• Weighted System Dependence GraphFang Deng, James A. Jones. 380-389 [doi]
• Industrial Application of Concolic Testing on Embedded Software: Case StudiesMoonzoo Kim, Yunho Kim, Yoonkyu Jang. 390-399 [doi]
• Automated Unit Testing of a SCADA Control Software: An Industrial Case Study Based on Action ResearchShahnewaz A. Jolly, Vahid Garousi, Matt M. Eskandar. 400-409 [doi]
• A Large Scale Empirical Study on User-Centric Performance AnalysisShahed Zaman, Bram Adams, Ahmed E. Hassan. 410-419 [doi]
• Analyzing a Controller of a Power Distribution Unit Using Formal MethodsJan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius. 420-428 [doi]
• Securing Opensource Code via Static AnalysisRaghudeep Kannavara. 429-436 [doi]
• Towards Automated Anomaly Report Assignment in Large Complex Systems Using Stacked GeneralizationLeif Jonsson, David Broman, Kristian Sandahl, Sigrid Eldh. 437-446 [doi]
• An Integrated Model-Driven Approach for Mechatronic Systems TestingRoberto Silveira Silva Filho, Christof J. Budnik. 447-456 [doi]
• CAST: Automating Software Tests for Embedded SystemsMichael Wahler, Ettore Ferranti, Robin Steiger, Rahul Jain, Kristian Nagy. 457-466 [doi]
• When a GUI Regression Test Failed, What Should be Blamed?Jin Chen, Mengxiang Lin, Kai Yu, Bing Shao. 467-470 [doi]
• A Smart Structured Test Automation Language (SSTAL)Nan Li. 471-474 [doi]
• Industrial Applicability of Visual GUI Testing for System and Acceptance Test AutomationEmil Börjesson. 475-478 [doi]
• Mitigating the Effect of Coincidental Correctness in Spectrum Based Fault LocalizationAritra Bandyopadhyay. 479-482 [doi]
• Prioritization of Test Cases Using Software Agents and Fuzzy LogicChristoph Malz, Nasser Jazdi, Peter Göhner. 483-486 [doi]
• Towards Practical Debugging for Regression FaultsKai Yu, Mengxiang Lin. 487-490 [doi]
• Using Control Charts for Detecting and Understanding Performance Regressions in Large SoftwareThanh H. D. Nguyen. 491-494 [doi]
• Web Mutation TestingUpsorn Praphamontripong. 495-498 [doi]
• A Runtime Monitoring Framework for Event Streams with Non-primitive ArgumentsJérôme Calvar, Raphaël Tremblay-Lessard, Sylvain Hallé. 499-508 [doi]
• Grammar-Based Testing Using Realistic Domains in PHPIvan Enderlin, Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet. 509-518 [doi]
• From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive DomainMarcus Mews, Jaroslav Svacina, Stephan Weißleder. 519-528 [doi]
• An Extended LLRP Model for RFID System Test and DiagnosisRafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis. 529-538 [doi]
• Test Sequence Generation from Classification TreesPeter M. Kruse, Joachim Wegener. 539-548 [doi]
• Experimental Comparison of Test Case Generation Methods for Finite State MachinesAndré Takeshi Endo, Adenilso da Silva Simão. 549-558 [doi]
• CITLAB: A Laboratory for Combinatorial Interaction TestingAngelo Gargantini, Paolo Vavassori. 559-568 [doi]
• Combinatorial Test Design in the TOSCA Testsuite: Lessons Learned and Practical ImplicationsRudolf Ramler, Theodorich Kopetzky, Wolfgang Platz. 569-572 [doi]
• Simplified Modeling of Combinatorial Test SpacesItai Segall, Rachel Tzoref-Brill, Aviad Zlotnick. 573-579 [doi]
• Effectiveness of Pair-Wise Testing for Software with Boolean InputsWilliam Alton Ballance, Sergiy Vilkomir, William Jenkins. 580-586 [doi]
• Combinatorial Testing on ID3v2 Tags of MP3 FilesZhiqiang Zhang, Xiaojian Liu, Jian Zhang. 587-590 [doi]
• Combinatorial Testing of ACTS: A Case StudyMehra N. Borazjany, Linbin Yu, Yu Lei, Raghu Kacker, Rick Kuhn. 591-600 [doi]
• Combinatorial Methods for Event Sequence TestingD. Richard Kuhn, James M. Higdon, James Lawrence, Raghu Kacker, Yu Lei. 601-609 [doi]
• Combinatorial Interaction Testing for Test Selection in Grammar-Based TestingElke Salecker, Sabine Glesner. 610-619 [doi]
• Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and ClassificationKiran Shakya, Tao Xie, Nuo Li, Yu Lei, Raghu Kacker, D. Richard Kuhn. 620-623 [doi]
• Common Patterns in Combinatorial ModelsItai Segall, Rachel Tzoref-Brill, Aviad Zlotnick. 624-629 [doi]
• A System Analysis Study Comparing Reverse Engineered Combinatorial Testing to Expert JudgmentAtlee M. Cunningham Jr., Jon D. Hagar, Ryan J. Holman. 630-635 [doi]
• Automated Performance Model Construction through Event Log AnalysisAhmad Mizan, Greg Franks. 636-641 [doi]
• Peer-to-Peer Load TestingJorge Augusto Meira, Eduardo Cunha de Almeida, Yves Le Traon, Gerson Sunyé. 642-647 [doi]
• Overcoming Web Server Benchmarking Challenges in the Multi-core EraRaoufehsadat Hashemian, Diwakar Krishnamurthy, Martin F. Arlitt. 648-653 [doi]
• SMT-C: A Semantic Mutation Testing Tools for CHaitao Dan, Robert M. Hierons. 654-663 [doi]
• Mutant Execution Cost Reduction: Through MUSIC (Mutant Schema Improved with Extra Code)Pedro Reales Mateo, Macario Polo Usaola. 664-672 [doi]
• Testing Obligation Policy Enforcement Using Mutation AnalysisYehia Elrakaiby, Tejeddine Mouelhi, Yves Le Traon. 673-680 [doi]
• Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation TestingVinicius H. S. Durelli, Jeff Offutt, Márcio Eduardo Delamaro. 681-690 [doi]
• Using Mutants to Locate "Unknown" FaultsMike Papadakis, Yves Le Traon. 691-700 [doi]
• Isolating First Order Equivalent Mutants via Second Order MutationMarinos Kintis, Mike Papadakis, Nicos Malevris. 701-710 [doi]
• MESSI: Mutant Evaluation by Static Semantic InterpretationMatthew Patrick, Manuel Oriol, John A. Clark. 711-719 [doi]
• Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?René Just, Gregory M. Kapfhammer, Franz Schweiggert. 720-725 [doi]
• Test Case Prioritization Due to Database Changes in Web ApplicationsDeepak Garg, Amitava Datta. 726-730 [doi]
• Dependency-Based Test Case Selection and Prioritization in Embedded SystemsPhilipp Caliebe, Thomas Herpel, Reinhard German. 731-735 [doi]
• Analysis of Test Clusters for Regression TestingBo Guo, Mahadevan Subramaniam, Parvathi Chundi. 736 [doi]
• Enhancing Fault Localization via Multivariate VisualizationWes Masri, Rawad Abou Assi, Fadi A. Zaraket, Nour Fatairi. 737-741 [doi]
• Software Product Line Testing - A 3D Regression Testing ProblemPer Runeson, Emelie Engström. 742-746 [doi]
• GUICOP: Specification-Based GUI TestingFadi A. Zaraket, Wes Masri, Marc Adam, Dalal Hammoud, Raghd Hamzeh, Raja Farhat, Elie Khamissi, Joseph Noujaim. 747-751 [doi]
• Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as ConstraintsBernhard K. Aichernig, Elisabeth Jöbstl. 752-757 [doi]
• Numerical Constraints for Combinatorial Interaction TestingPeter M. Kruse, Jürgen Bauer, Joachim Wegener. 758-763 [doi]
• Testing Deadline Misses for Real-Time Systems Using Constraint Optimization TechniquesStefano Di Alesio, Arnaud Gotlieb, Shiva Nejati, Lionel C. Briand. 764-769 [doi]
• Open Research Challenges of Localizing Faults in Programs Using ConstraintsFranz Wotawa. 770-771 [doi]
• Statechart Analysis with Symbolic PathFinderCorina S. Pasareanu, Daniel Balasubramanian. 772 [doi]
• Minimum Pairwise Coverage Using Constraint Programming TechniquesArnaud Gotlieb, Aymeric Hervieu, Benoit Baudry. 773-774 [doi]
• Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point ProgramsOlivier Ponsini, Claude Michel, Michel Rueher. 775-776 [doi]
• Semi-automatic Search-Based Test GenerationYury Pavlov, Gordon Fraser. 777-784 [doi]
• A Parallel Genetic Algorithm Based on Hadoop MapReduce for the Automatic Generation of JUnit Test SuitesLinda Di Geronimo, Filomena Ferrucci, Alfonso Murolo, Federica Sarro. 785-793 [doi]
• Search-Based Stress Testing of Wireless Network Protocol StacksMatthias Woehrle. 794-803 [doi]
• A Genetic Algorithm for Computing Class Integration Test Orders for Aspect-Oriented SystemsRomain Delamare, Nicholas A. Kraft. 804-813 [doi]
• Model-Based Fuzz TestingIna Schieferdecker. 814 [doi]
• XSS Vulnerability Detection Using Model Inference Assisted Evolutionary FuzzingFabien Duchene, Roland Groz, Sanjay Rawat, Jean-Luc Richier. 815-817 [doi]
• A Taint Based Approach for Smart FuzzingSofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier. 818-825 [doi]
• A Testing Model for Dynamic Malware Analysis SystemsFrédéric Massicotte, Mathieu Couture, Hugues Normandin, Frédéric Michaud. 826-833 [doi]
• Managing Evolution by Orchestrating Requirements and Testing Engineering ProcessesFederica Paci, Fabio Massacci, Fabrice Bouquet, Stephane Debricon. 834-841 [doi]
• Automatic XACML Requests Generation for Policy TestingAntonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti. 842-849 [doi]
• Solving Some Modeling Challenges when Testing Rich Internet Applications for SecuritySuryakant Choudhary, Mustafa Emre Dincturk, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut, Paul Ionescu. 850-857 [doi]
• SPaCiTE - Web Application Testing EngineMatthias Büchler, Johan Oudinet, Alexander Pretschner. 858-859 [doi]
• Events-Based Security Monitoring Using MMT ToolBachar Wehbi, Edgardo Montes de Oca, Michel Bourdellès. 860-863 [doi]
• The SmartLogic Tool: Analysing and Testing Smart Card ProtocolsGerhard de Koning Gans, Joeri de Ruiter. 864-871 [doi]
• It Takes Two to Tango - An Experience Report on Industry - Academia CollaborationPer Runeson. 872-877 [doi]
• Adding Criteria-Based Tests to Test Driven DevelopmentWilliam Shelton, Nan Li, Paul Ammann, Jeff Offutt. 878-886 [doi]
• Technical Debt in Test AutomationKristian Wiklund, Sigrid Eldh, Daniel Sundmark, Kristina Lundqvist. 887-892 [doi]
• Symbolic System Time in Distributed Systems TestingOscar Soria Dustmann, Raimondas Sasnauskas, Klaus Wehrle. 893-894 [doi]
• Robustness Testing of Mobile Telecommunication Systems: A Case Study on Industrial Practice and ChallengesSigrid Eldh, Daniel Sundmark. 895-900 [doi]
• Testing of Evolving ProtocolsJacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert, Andrzej Tarlecki. 901-906 [doi]
• A Framework to Support Research in and Encourage Industrial Adoption of Regression Testing TechniquesJonathan Miller Kauffman, Gregory M. Kapfhammer. 907-908 [doi]
• GEMS: A Generic Model Based Source Code Instrumentation FrameworkPavan Kumar Chittimalli, Vipul Shah. 909-914 [doi]
• Combining Static Analysis and Constraint Solving for Automatic Test Case GenerationKostyantyn Vorobyov, Padmanabhan Krishnan. 915-920 [doi]
• A Tridimensional Approach for Studying the Formal Verification of Model TransformationsMoussa Amrani, Levi Lucio, Gehan M. K. Selim, Benoît Combemale, Jürgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy. 921-928 [doi]
• Challenges for Addressing Quality Factors in Model TransformationEugene Syriani, Jeff Gray. 929-937 [doi]
• Towards a Methodology for Verifying Partial Model RefinementsRick Salay, Marsha Chechik, Jan Gorzny. 938-945 [doi]
• Towards a Rule-Level Verification Framework for Property-Preserving Graph TransformationsHanh Nhi Tran, Christian Percebois. 946-953 [doi]
• Verified Operational Patterns with Graph TransformationTamás Mészáros, Tihamer Levendovszky. 954-961 [doi]
• Incremental Test Case Generation for UML-RT Models Using Symbolic ExecutionEric James Rapos, Jürgen Dingel. 962-963 [doi]
• Towards a Method for Reducing the Test Suites of Database ApplicationsGregory M. Kapfhammer. 964-965 [doi]
• Property-Driven Software Engineering ApproachAntinisca Di Marco, Francesca Lonetti, Guglielmo De Angelis. 966-967 [doi]