default search action
5th ICST 2012: Montreal, QC, Canada
- Giuliano Antoniol, Antonia Bertolino, Yvan Labiche:
Fifth IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Montreal, QC, Canada, April 17-21, 2012. IEEE Computer Society 2012, ISBN 978-1-4577-1906-6
Research Session 1: Handling Models
- Zoltán Ujhelyi
, Ákos Horváth, Dániel Varró
Dynamic Backward Slicing of Model Transformations. 1-10 - Milos Gligoric, Peter C. Mehlitz, Darko Marinov:
X10X: Model Checking a New Programming Language with an "Old" Model Checker. 11-20 - Paolo Tonella
Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs. 21-30
Research Session 2: Fault Localization
- Frolin S. Ocariza Jr., Karthik Pattabiraman, Ali Mesbah
AutoFLox: An Automatic Fault Localizer for Client-Side JavaScript. 31-40 - Aritra Bandyopadhyay, Sudipto Ghosh:
Tester Feedback Driven Fault Localization. 41-50 - Sangmin Park, Richard W. Vuduc
A Unified Approach for Localizing Non-deadlock Concurrency Bugs. 51-60
Research Session 3: Database and GUI Testing
- Chixiang Zhou, Phyllis G. Frankl:
Empirical Studies on Test Effectiveness for Database Applications. 61-70 - Raquel Blanco, Javier Tuya
Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach. 71-80 - Leonardo Mariani
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications. 81-90
Research Session 4: Constraint Solving
- Junaid Haroon Siddiqui
Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving. 91-100 - Tianhai Liu, Michael Nagel, Mana Taghdiri:
Bounded Program Verification Using an SMT Solver: A Case Study. 101-110 - Mateus Borges, Marcelo d'Amorim
Symbolic Execution with Interval Solving and Meta-heuristic Search. 111-120
Research Session 5: Search-Based Testing
- Gordon Fraser, Andrea Arcuri:
The Seed is Strong: Seeding Strategies in Search-Based Software Testing. 121-130 - Juan José Cadavid, Benoit Baudry, Houari A. Sahraoui:
Searching the Boundaries of a Modeling Space to Test Metamodels. 131-140 - Phil McMinn, Muzammil Shahbaz, Mark Stevenson:
Search-Based Test Input Generation for String Data Types Using the Results of Web Queries. 141-150
Research Session 6: Web Applications
- Nadia Alshahwan, Mark Harman
Crawlability Metrics for Web Applications. 151-160 - Sara Sprenkle, Camille Cobb, Lori L. Pollock:
Leveraging User-Privilege Classification to Customize Usage-based Statistical Models of Web Applications. 161-170 - Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso:
CrossCheck: Combining Crawling and Differencing to Better Detect Cross-browser Incompatibilities in Web Applications. 171-180
Research Session 7: Faults Studies
- Thomas R. Devine, Katerina Goseva-Popstojanova
An Empirical Study of Pre-release Software Faults in an Industrial Product Line. 181-190 - Nicholas DiGiuseppe, James A. Jones:
Software Behavior and Failure Clustering: An Empirical Study of Fault Causality. 191-200 - Manuel Oriol:
Random Testing: Evaluation of a Law Describing the Number of Faults Found. 201-210
Research Session 8: Test Evolution
- Muhammad Zubair Malik, Sarfraz Khurshid:
Dynamic Shape Analysis Using Spectral Graph Properties. 211-220 - Aaron Marback, Hyunsook Do, Nathan Ehresmann:
An Effective Regression Testing Approach for PHP Web Applications. 221-230 - Mehdi MirzaAghaei, Fabrizio Pastore
Supporting Test Suite Evolution through Test Case Adaptation. 231-240
Research Session 9: Domain-Specific Testing
- Dominik Franke, Stefan Kowalewski, Carsten Weise, Nath Prakobkosol:
Testing Conformance of Life Cycle Dependent Properties of Mobile Applications. 241-250 - Ling Fang, Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki:
Formal Model-Based Test for AUTOSAR Multicore RTOS. 251-259 - Shin Hwei Tan, Darko Marinov, Lin Tan, Gary T. Leavens:
@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies. 260-269
Research Session 10: White-Box Techniques
- Michael Beyene, James H. Andrews:
Generating String Test Data for Code Coverage. 270-279 - Nan Li, Fei Li, Jeff Offutt:
Better Algorithms to Minimize the Cost of Test Paths. 280-289 - Haitao Dan, Robert M. Hierons
Semantic Mutation Analysis of Floating-Point Comparison. 290-299
Research Session 11: State-Based Testing
- Gordon Fraser, Neil Walkinshaw
Behaviourally Adequate Software Testing. 300-309 - Alexandre Petrenko
Generating Checking Sequences for Nondeterministic Finite State Machines. 310-319 - Vilas Jagannath, Matt Kirn, Yu Lin, Darko Marinov:
Evaluating Machine-Independent Metrics for State-Space Exploration. 320-329
Research Session 12: Empirical Studies
- Natalia Juristo Juzgado, Sira Vegas, Martín Solari
Comparing the Effectiveness of Equivalence Partitioning, Branch Testing and Code Reading by Stepwise Abstraction Applied by Subjects. 330-339 - Moonzoo Kim, Yunho Kim, Gregg Rothermel:
A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation. 340-349 - Emil Börjesson, Robert Feldt:
Automated System Testing Using Visual GUI Testing Tools: A Comparative Study in Industry. 350-359
Research Session 13: Failure Analysis
- Boya Sun, Gang Shu, Andy Podgurski, Soumya Ray
CARIAL: Cost-Aware Software Reliability Improvement with Active Learning. 360-369 - Laleh Shikh Gholamhossein Ghandehari, Yu Lei, Tao Xie, D. Richard Kuhn, Raghu Kacker:
Identifying Failure-Inducing Combinations in a Combinatorial Test Set. 370-379 - Fang Deng, James A. Jones:
Weighted System Dependence Graph. 380-389
Industrial Session 1: Case Studies
- Moonzoo Kim, Yunho Kim, Yoonkyu Jang:
Industrial Application of Concolic Testing on Embedded Software: Case Studies. 390-399 - Shahnewaz A. Jolly, Vahid Garousi
Automated Unit Testing of a SCADA Control Software: An Industrial Case Study Based on Action Research. 400-409 - Shahed Zaman, Bram Adams
A Large Scale Empirical Study on User-Centric Performance Analysis. 410-419
Industrial Session 2: Analysis and Validation
- Jan Friso Groote
Analyzing a Controller of a Power Distribution Unit Using Formal Methods. 420-428 - Raghudeep Kannavara:
Securing Opensource Code via Static Analysis. 429-436 - Leif Jonsson, David Broman, Kristian Sandahl, Sigrid Eldh
Towards Automated Anomaly Report Assignment in Large Complex Systems Using Stacked Generalization. 437-446
Industrial Session 3: Test Automation
- Roberto Silveira Silva Filho, Christof J. Budnik:
An Integrated Model-Driven Approach for Mechatronic Systems Testing. 447-456 - Michael Wahler, Ettore Ferranti, Robin Steiger, Rahul Jain, Kristian Nagy:
CAST: Automating Software Tests for Embedded Systems. 457-466 - Jin Chen, Mengxiang Lin, Kai Yu, Bing Shao:
When a GUI Regression Test Failed, What Should be Blamed? 467-470
Ph.D. Symposium
- Nan Li:
A Smart Structured Test Automation Language (SSTAL). 471-474 - Emil Börjesson:
Industrial Applicability of Visual GUI Testing for System and Acceptance Test Automation. 475-478 - Aritra Bandyopadhyay:
Mitigating the Effect of Coincidental Correctness in Spectrum Based Fault Localization. 479-482 - Christoph Malz, Nasser Jazdi
Prioritization of Test Cases Using Software Agents and Fuzzy Logic. 483-486 - Kai Yu, Mengxiang Lin:
Towards Practical Debugging for Regression Faults. 487-490 - Thanh H. D. Nguyen:
Using Control Charts for Detecting and Understanding Performance Regressions in Large Software. 491-494 - Upsorn Praphamontripong:
Web Mutation Testing. 495-498
The Eighth Workshop on Advances in Model Based Testing (A-MOST 2012)
Session 1: From Models to Runtime Execution
- Jérôme Calvar, Raphaël Tremblay-Lessard, Sylvain Hallé
A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments. 499-508 - Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti
Grammar-Based Testing Using Realistic Domains in PHP. 509-518
Session 2: Industrial Challenges
- Marcus Mews, Jaroslav Svacina, Stephan Weißleder:
From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain. 519-528 - Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis:
An Extended LLRP Model for RFID System Test and Diagnosis. 529-538
Session 3: Test Case Generation
- Peter M. Kruse, Joachim Wegener:
Test Sequence Generation from Classification Trees. 539-548 - André Takeshi Endo
Experimental Comparison of Test Case Generation Methods for Finite State Machines. 549-558
Workshop on Combinatorial Testing (CT 2012)
Session 1: CT Environments and Tools
- Angelo Gargantini
CITLAB: A Laboratory for Combinatorial Interaction Testing. 559-568 - Rudolf Ramler, Theodorich Kopetzky, Wolfgang Platz:
Combinatorial Test Design in the TOSCA Testsuite: Lessons Learned and Practical Implications. 569-572 - Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick:
Simplified Modeling of Combinatorial Test Spaces. 573-579
Session 2: Experience Reports I
- William Alton Ballance, Sergiy Vilkomir, William Jenkins:
Effectiveness of Pair-Wise Testing for Software with Boolean Inputs. 580-586 - Zhiqiang Zhang, Xiaojian Liu, Jian Zhang:
Combinatorial Testing on ID3v2 Tags of MP3 Files. 587-590 - Mehra N. Borazjany, Linbin Yu, Yu Lei, Raghu Kacker, Rick Kuhn:
Combinatorial Testing of ACTS: A Case Study. 591-600
Session 3: CT Test Generation and Fault Localization
- D. Richard Kuhn, James M. Higdon, James Lawrence, Raghu Kacker, Yu Lei:
Combinatorial Methods for Event Sequence Testing. 601-609 - Elke Salecker, Sabine Glesner:
Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing. 610-619 - Kiran Shakya, Tao Xie, Nuo Li, Yu Lei, Raghu Kacker, D. Richard Kuhn:
Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification. 620-623
Session 4: Experience Reports II
- Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick:
Common Patterns in Combinatorial Models. 624-629 - Atlee M. Cunningham Jr., Jon D. Hagar, Ryan J. Holman:
A System Analysis Study Comparing Reverse Engineered Combinatorial Testing to Expert Judgment. 630-635
The First International Workshop on Load Testing of Large Software Systems (LT 2012)
- Ahmad Mizan, Greg Franks:
Automated Performance Model Construction through Event Log Analysis. 636-641 - Jorge Augusto Meira
Peer-to-Peer Load Testing. 642-647 - Raoufehsadat Hashemian, Diwakar Krishnamurthy, Martin F. Arlitt:
Overcoming Web Server Benchmarking Challenges in the Multi-core Era. 648-653
Seventh International Workshop on Mutation Analysis (Mutation 2012)
- Haitao Dan, Robert M. Hierons
SMT-C: A Semantic Mutation Testing Tools for C. 654-663 - Pedro Reales Mateo, Macario Polo Usaola
Mutant Execution Cost Reduction: Through MUSIC (Mutant Schema Improved with Extra Code). 664-672 - Yehia Elrakaiby
Testing Obligation Policy Enforcement Using Mutation Analysis. 673-680 - Vinicius H. S. Durelli, Jeff Offutt, Márcio Eduardo Delamaro:
Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing. 681-690 - Mike Papadakis
Using Mutants to Locate "Unknown" Faults. 691-700 - Marinos Kintis, Mike Papadakis
Isolating First Order Equivalent Mutants via Second Order Mutation. 701-710 - Matthew Patrick, Manuel Oriol, John A. Clark:
MESSI: Mutant Evaluation by Static Semantic Interpretation. 711-719 - René Just, Gregory M. Kapfhammer, Franz Schweiggert:
Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis? 720-725
The Second International Workshop on Regression Testing (Regression 2012)
Session 1: Approaches and Applications
- Deepak Garg, Amitava Datta
Test Case Prioritization Due to Database Changes in Web Applications. 726-730 - Philipp Caliebe, Thomas Herpel, Reinhard German:
Dependency-Based Test Case Selection and Prioritization in Embedded Systems. 731-735 - Bo Guo, Mahadevan Subramaniam, Parvathi Chundi:
Analysis of Test Clusters for Regression Testing. 736
Session 2: Visualizations and Viewpoints
- Wes Masri, Rawad Abou Assi, Fadi A. Zaraket
Enhancing Fault Localization via Multivariate Visualization. 737-741 - Per Runeson
Software Product Line Testing - A 3D Regression Testing Problem. 742-746 - Fadi A. Zaraket
GUICOP: Specification-Based GUI Testing. 747-751
Fourth International Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA 2012)
Papers
- Bernhard K. Aichernig
Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints. 752-757 - Peter M. Kruse, Jürgen Bauer, Joachim Wegener:
Numerical Constraints for Combinatorial Interaction Testing. 758-763 - Stefano Di Alesio, Arnaud Gotlieb, Shiva Nejati
Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques. 764-769
Fast Abstracts
- Franz Wotawa
Open Research Challenges of Localizing Faults in Programs Using Constraints. 770-771 - Corina S. Pasareanu, Daniel Balasubramanian:
Statechart Analysis with Symbolic PathFinder. 772 - Arnaud Gotlieb, Aymeric Hervieu, Benoit Baudry:
Minimum Pairwise Coverage Using Constraint Programming Techniques. 773-774 - Olivier Ponsini, Claude Michel, Michel Rueher:
Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs. 775-776
Fifth International Workshop on Search-Based Software Testing (SBST 2012)
- Yury Pavlov, Gordon Fraser:
Semi-automatic Search-Based Test Generation. 777-784 - Linda Di Geronimo, Filomena Ferrucci, Alfonso Murolo, Federica Sarro
A Parallel Genetic Algorithm Based on Hadoop MapReduce for the Automatic Generation of JUnit Test Suites. 785-793 - Matthias Woehrle:
Search-Based Stress Testing of Wireless Network Protocol Stacks. 794-803 - Romain Delamare, Nicholas A. Kraft:
A Genetic Algorithm for Computing Class Integration Test Orders for Aspect-Oriented Systems. 804-813
The Third International Workshop on Security Testing (SecTest 2012)
Session 1
- Ina Schieferdecker
Model-Based Fuzz Testing. 814 - Fabien Duchene, Roland Groz, Sanjay Rawat, Jean-Luc Richier:
XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing. 815-817 - Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier:
A Taint Based Approach for Smart Fuzzing. 818-825
Session 2
- Frédéric Massicotte, Mathieu Couture, Hugues Normandin, Frédéric Michaud:
A Testing Model for Dynamic Malware Analysis Systems. 826-833 - Federica Paci
Managing Evolution by Orchestrating Requirements and Testing Engineering Processes. 834-841
Session 3
- Antonia Bertolino
Automatic XACML Requests Generation for Policy Testing. 842-849 - Suryakant Choudhary, Mustafa Emre Dincturk, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut, Paul Ionescu:
Solving Some Modeling Challenges when Testing Rich Internet Applications for Security. 850-857
Session 4
- Matthias Büchler, Johan Oudinet, Alexander Pretschner:
SPaCiTE - Web Application Testing Engine. 858-859 - Bachar Wehbi, Edgardo Montes de Oca, Michel Bourdellès:
Events-Based Security Monitoring Using MMT Tool. 860-863 - Gerhard de Koning Gans, Joeri de Ruiter
The SmartLogic Tool: Analysing and Testing Smart Card Protocols. 864-871
Testing: Academic & Industrial Conference - Practice and Research Techniques (TAIC PART 2012)
Experiences
- Per Runeson
It Takes Two to Tango - An Experience Report on Industry - Academia Collaboration. 872-877 - William Shelton, Nan Li, Paul Ammann, Jeff Offutt:
Adding Criteria-Based Tests to Test Driven Development. 878-886 - Kristian Wiklund
Technical Debt in Test Automation. 887-892
Testing Distributed Systems
- Oscar Soria Dustmann, Raimondas Sasnauskas, Klaus Wehrle
Symbolic System Time in Distributed Systems Testing. 893-894 - Sigrid Eldh
Robustness Testing of Mobile Telecommunication Systems: A Case Study on Industrial Practice and Challenges. 895-900 - Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert, Andrzej Tarlecki
Testing of Evolving Protocols. 901-906
Code Analysis, Test Case Generation, Regression
- Jonathan Miller Kauffman, Gregory M. Kapfhammer:
A Framework to Support Research in and Encourage Industrial Adoption of Regression Testing Techniques. 907-908 - Pavan Kumar Chittimalli, Vipul Shah:
GEMS: A Generic Model Based Source Code Instrumentation Framework. 909-914 - Kostyantyn Vorobyov, Padmanabhan Krishnan:
Combining Static Analysis and Constraint Solving for Automatic Test Case Generation. 915-920
ICST Workshop on Verification and Validation of Model Transformations (VOLT 2012)
- Moussa Amrani, Levi Lucio, Gehan M. K. Selim, Benoît Combemale, Jürgen Dingel, Hans Vangheluwe
A Tridimensional Approach for Studying the Formal Verification of Model Transformations. 921-928 - Eugene Syriani
Challenges for Addressing Quality Factors in Model Transformation. 929-937 - Rick Salay, Marsha Chechik, Jan Gorzny
Towards a Methodology for Verifying Partial Model Refinements. 938-945 - Hanh Nhi Tran, Christian Percebois:
Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations. 946-953 - Tamás Mészáros, Tihamer Levendovszky:
Verified Operational Patterns with Graph Transformation. 954-961
Posters
- Eric James Rapos, Jürgen Dingel:
Incremental Test Case Generation for UML-RT Models Using Symbolic Execution. 962-963 - Gregory M. Kapfhammer:
Towards a Method for Reducing the Test Suites of Database Applications. 964-965 - Antinisca Di Marco
Property-Driven Software Engineering Approach. 966-967
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-19 20:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: