Abstract is missing.
- Test Selection for Data-Flow Reactive Systems Based on ObservationsOmer Nguena-Timo, Antoine Rollet. 1-8 [doi]
- Abstracting Time and Data for Conformance Testing of Real-Time SystemsWilkerson de L. Andrade, Patrícia D. L. Machado, Thierry Jéron, Hervé Marchand. 9-17 [doi]
- Model Based Statistical Testing of Embedded SystemsFrank Böhr. 18-25 [doi]
- Risk-Based Testing of Safety-Critical Embedded Systems Driven by Fault Tree AnalysisJohannes Kloos, Tanvir Hussain, Robert Eschbach. 26-33 [doi]
- Simulated Restriction of Coverage Criteria on UML State MachinesStephan Weißleder, Thomas Rogenhofer. 34-38 [doi]
- An Experience Report on an Industrial Case-Study about Timed Model-Based Testing with UPPAAL-TRONCarsten Rütz, Julien Schmaltz. 39-46 [doi]
- Reconfigurable Model-Based Test Program Generator for MicroprocessorsAlexander Kamkin, Eugene Kornykhin, Dmitry Vorobyev. 47-54 [doi]
- Model-Based Testing for the Second Generation of Integrated Modular AvionicsChristof Efkemann, Jan Peleska. 55-62 [doi]
- Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification - Extended AbstractM. F. van Amstel, M. G. J. van den Brand, Luc J. P. Engelen. 63-66 [doi]
- TripleT: Improving Test Responsiveness for High Performance Embedded SystemsRalf Mitsching, Carsten Weise, Frank Fiedler, Stefan Kowalewski, Henrik C. Bohnenkamp. 67-74 [doi]
- Inverse Model Based Testing - Generating Behavior Models from Abstract Test CasesChristoph Torens, Lars Ebrecht, Karsten Lemmer. 75-78 [doi]
- Scenario Based Test Generation Using Test DesignerKalou Cabrera Castillos, Julien Botella. 79-88 [doi]
- Scenario-Based Testing Applied in Two Real Contexts: Healthcare and EmployabilityEda Marchetti, Louis Schilders, Sandra Winfield. 89-98 [doi]
- Empirically Evaluating Regression Testing Techniques: Challenges, Solutions, and a Potential Way ForwardGregory M. Kapfhammer. 99-102 [doi]
- Challenges in Audit Testing of Web ServicesDuy Cu Nguyen, Alessandro Marchetto, Paolo Tonella. 103-106 [doi]
- Customer-Oriented Regression Testing: An Initial DiscussionBrian Robinson, Xiao Qu. 107-110 [doi]
- Making the Case for MORTO: Multi Objective Regression Test OptimizationMark Harman. 111-114 [doi]
- Regression Test Selection Techniques for Test-Driven DevelopmentHagai Cibulski, Amiram Yehudai. 115-124 [doi]
- Selective Test Generation Method for Evolving Critical SystemsElizabeta Fourneret, Fabrice Bouquet, Frédéric Dadeau, Stephane Debricon. 125-134 [doi]
- Dynamic Prioritization in Regression TestingNilam Kaushik, Mazeiar Salehie, Ladan Tahvildari, Sen Li, Mark Moore. 135-138 [doi]
- Employing Privacy-Preserving Techniques to Protect Control-Flow Graphs in a Decentralized, End-to-End Regression Test Selection Framework for Web ServicesMichael Ruth. 139-148 [doi]
- Agent-Based Test Case PrioritizationChristoph Malz, Peter Göhner. 149-152 [doi]
- Search-Based Software Testing: Past, Present and FuturePhil McMinn. 153-163 [doi]
- MOST: A Multi-objective Search-Based Testing from EFSMThaise Yano, Eliane Martins, Fabiano Luis de Sousa. 164-173 [doi]
- Porantim-Opt: Optimizing the Combined Selection of Model-Based Testing TechniquesArilo Claudio Dias Neto, Rosiane de Freitas Rodrigues, Guilherme Horta Travassos. 174-183 [doi]
- A Principled Evaluation of the Effect of Directed Mutation on Search-Based Statistical TestingSimon M. Poulding, John A. Clark, Hélène Waeselynck. 184-193 [doi]
- Towards Search-Based Testing for Event-B ModelsAlin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose. 194-197 [doi]
- Search-Based Application Security Testing: Towards a Structured Search SpaceSven Türpe. 198-201 [doi]
- Identifying Infeasible GUI Test Cases Using Support Vector Machines and Induced GrammarsRobert Gove, Jorge Faytong. 202-211 [doi]
- Event-Based GUI Testing and Reliability Assessment Techniques - An Experimental Insight and Preliminary ResultsFevzi Belli, Mutlu Beyazit, Nevin Güler. 212-221 [doi]
- Behind the Scenes: An Approach to Incorporate Context in GUI Test Case GenerationStephan Arlt, Cristiano Bertolini, Martin Schäf. 222-231 [doi]
- Improved Bug Reporting and Reproduction through Non-intrusive GUI Usage Monitoring and Automated ReplayingSteffen Herbold, Jens Grabowski, Stephan Waack, Uwe Bünting. 232-241 [doi]
- Model-Based Testing with a General Purpose Keyword-Driven Test Automation FrameworkTuomas Pajunen, Tommi Takala, Mika Katara. 242-251 [doi]
- A GUI Crawling-Based Technique for Android Mobile Application TestingDomenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana. 252-261 [doi]
- Decision Support for Test Management and Scope Selection in a Software Product Line ContextEmelie Engström, Per Runeson. 262-265 [doi]
- A Survey of Empirics of Strategies for Software Product Line TestingMartin Fagereng Johansen, Øystein Haugen, Franck Fleurey. 266-269 [doi]
- Proof Composition for Deductive Verification of Software Product LinesThomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel. 270-277 [doi]
- Calculating Prioritized Interaction Test Sets with Constraints Using Binary Decision DiagramsElke Salecker, Robert Reicherdt, Sabine Glesner. 278-285 [doi]
- Automated Detection of Discontinuities in Models Inferred from Execution TracesAlessandro Marchetto, Duy Cu Nguyen, Paolo Tonella. 286-293 [doi]
- Validating Service Value Propositions Regarding Stakeholder PreferencesErik Wittern, Christian Zirpins. 294-297 [doi]
- Grey-Box Testing and Verification of Java/JMLFrédéric Dadeau, Fabien Peureux. 298-303 [doi]
- Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of PredicatesCong Tian, Shaoying Liu, Shin Nakajima. 304-309 [doi]
- Optimizing Constraint Solving to Better Support Symbolic ExecutionIkpeme Erete, Alessandro Orso. 310-315 [doi]
- Online Test Generation with PathCrawler: Tool DemoNikolai Kosmatov, Bernard Botella, Muriel Roger, Nicky Williams. 316-317 [doi]
- IPEG: Utilizing InfeasibilityMickaël Delahaye. 318-319 [doi]
- CPTEST: A Framework for the Automatic Fault Detection, Localization and Correction of Constraint ProgramsNadjib Lazaar. 320-321 [doi]
- Dealing with Constraints in Boolean Expression TestingAngelo Gargantini. 322-327 [doi]
- When Does My Program Fail?Jeremias Rößler, Alessandro Orso, Andreas Zeller. 328-333 [doi]
- An Analysis of OO Mutation OperatorsJingyu Hu, Nan Li, Jeff Offutt. 334-341 [doi]
- Object-Oriented Mutation Applied in Common Intermediate Language Programs Originated from C#Anna Derezinska, Karol Kowalski. 342-350 [doi]
- Paraµ - A Partial and Higher-Order Mutation Tool with Concurrency OperatorsPratyusha Madiraju, Akbar Siami Namin. 351-356 [doi]
- Change Sensitivity Based Prioritization for Audit Testing of Webservice CompositionsDuy Cu Nguyen, Alessandro Marchetto, Paolo Tonella. 357-365 [doi]
- An Evaluation of Mutation and Data-Flow Testing: A Meta-analysisSahitya Kakarla, Selina Momotaz, Akbar Siami Namin. 366-375 [doi]
- Calibrated Mutation TestingJaechang Nam, David Schuler, Andreas Zeller. 376-381 [doi]
- Breeding High-Impact MutationsBirgit Schwarz, David Schuler, Andreas Zeller. 382-387 [doi]
- Test Case Generation from Mutants Using Model Checking TechniquesHeinz Riener, Roderick Bloem, Görschwin Fey. 388-397 [doi]
- Analogies and Differences between Mutation Operators for WS-BPEL 2.0 and Other LanguagesJuan Boubeta-Puig, Inmaculada Medina-Bulo, Antonio García-Domínguez. 398-407 [doi]
- Model Driven Mutation Applied to Adaptative Systems TestingAlexandre Bartel, Benoit Baudry, Freddy Munoz, Jacques Klein, Tejeddine Mouelhi, Yves Le Traon. 408-413 [doi]
- Refactoring as Testability TransformationMark Harman. 414-421 [doi]
- Munch: An Efficient Modularisation Strategy to Assess the Degree of Refactoring on Sequential Source Code CheckingsMahir Arzoky, Stephen Swift, Allan Tucker, James Cain. 422-429 [doi]
- Parameter-Based Refactoring and the Relationship with Fan-in/Fan-out CouplingAlessandro Murgia, Michele Marchesi, Giulio Concas, Roberto Tonelli, Steve Counsell. 430-436 [doi]
- Automated Refactoring for TestabilityMel Ó Cinnéide, Dermot Boyle, Iman Hemati Moghadam. 437-443 [doi]
- Test-Oriented Languages: Is it Time for a New Era?Benjamin Stopford. 444-449 [doi]
- An Experience Report on Using Code Smells Detection ToolsFrancesca Arcelli Fontana, Elia Mariani, Andrea Morniroli, Raul Sormani, Alberto Tonello. 450-457 [doi]
- Prioritising Refactoring Using Code Bad SmellsMin Zhang, Nathan Baddoo, Paul Wernick, Tracy Hall. 458-464 [doi]
- Looking for Patterns in Code Bad Smells RelationsBartosz Walter, Pawel Martenka. 465-466 [doi]
- Enabling Testing, Design and Refactoring Practices in Remote LocationsAmey Dhoke, Greg Gigon, Kuldeep Singh, Amit Chhajed, Ben Stopford. 467-471 [doi]
- Extracting Properties from Test Cases by RefactoringHuiqing Li, Simon J. Thompson, Thomas Arts. 472-473 [doi]
- On Investigating Code Smells CorrelationsFrancesca Arcelli Fontana, Marco Zanoni. 474-475 [doi]
- Alignment of Requirements Specification and Testing: A Systematic Mapping StudyZeinab Alizadeh Barmi, Amir Hossein Ebrahimi, Robert Feldt. 476-485 [doi]
- Automatic Validation and Correction of Formalized, Textual RequirementsJörg Holtmann, Jan Meyer, Markus von Detten. 486-495 [doi]
- Model Based Test Specifications: Developing of Test Specifications in a Semi Automatic Model Based WayHolger Funke. 496-500 [doi]
- Requirements-Driven Testing with Behavior TreesMarc-Florian Wendland, Ina Schieferdecker, Alain Vouffo-Feudjio. 501-510 [doi]
- Protocol Security Testing with SPIN and TTCN-3Li Zhou, Xia Yin, Zhiliang Wang. 511-519 [doi]
- Defining and Matching Test-Based Certificates in Open SOAMarco Anisetti, Claudio Agostino Ardagna, Ernesto Damiani. 520-522 [doi]
- Scanstud: A Methodology for Systematic, Fine-Grained Evaluation of Static Analysis ToolsMartin Johns, Moritz Jodeit. 523-530 [doi]
- Offset-Aware Mutation Based Fuzzing for Buffer Overflow Vulnerabilities: Few Preliminary ResultsSanjay Rawat, Laurent Mounier. 531-533 [doi]
- Security Vulnerabilities Detection Using Model Inference for Applications and Security ProtocolsKarim Hossen, Roland Groz, Jean-Luc Richier. 534-536 [doi]
- Practical Considerations in Control-Flow Integrity MonitoringIavor S. Diatchki, Lee Pike, Levent Erkök. 537-544 [doi]
- Applying Security Assurance Techniques to a Mobile Phone Application: An Initial ApproachPadmanabhan Krishnan, Sergej Hafner, Andreas Zeiser. 545-552 [doi]
- How Test Organizations Adopt New Testing Practices and Methods?Jussi Kasurinen, Ossi Taipale, Kari Smolander. 553-558 [doi]
- Introducing Test Case Derivation Techniques into Traditional Software Development: Obstacles and PotentialitiesXiaojing Zhang, Haruto Tanno, Takashi Hoshino. 559-560 [doi]
- Assessing the Impact of Using Fault Prediction in IndustryRobert M. Bell, Elaine J. Weyuker, Thomas J. Ostrand. 561-565 [doi]
- An Empirical Study on Object-Oriented Metrics and Software Evolution in Order to Reduce Testing Costs by Predicting Change-Prone ClassesSinan Eski, Feza Buzluca. 566-571 [doi]
- Combining Model-Based and Capture-Replay Testing Techniques of Graphical User Interfaces: An Industrial ApproachVladimir Entin, Mathias Winder, Bo Zhang, Stephan Christmann. 572-577 [doi]
- Verifying Code and Its Optimizations: An Experience ReportRavindra Metta. 578-583 [doi]
- Monitoring and Testing with Case Observer Automata: An Industry ReportAnders Hessel. 584-589 [doi]
- Estimation of Clock Drift in HiL Testing by Property-Based Conformance CheckJacob Palczynski, Carsten Weise, Stefan Kowalewski, Daniel Ulmer. 590-595 [doi]
- Automated Debugging: Are We There Yet?Alex Orso. 596 [doi]
- An Abstract Operational Framework for Dependence Models in Software DebuggingBernhard Peischl, Franz Wotawa. 597-606 [doi]
- Identifying Failure-Correlated Dependence ChainsRawad Abou Assi, Wes Masri. 607-616 [doi]
- Probabilistic Error Propagation Modeling in Logic CircuitsShekhar Gupta, Arjan J. C. van Gemund, Rui Abreu. 617-623 [doi]
- On the Use of Constraints in Dynamic Slicing for Program DebuggingFranz Wotawa. 624-633 [doi]
- Modeling the Diagnostic Efficiency of Regression Test SuitesAlberto González-Sanchez, Hans-Gerhard Gross, Arjan J. C. van Gemund. 634-643 [doi]
- Compression Strategies for Passive TestingCésar Andrés, Luis Llana. 644-653 [doi]
- A Diagnostic Point of View for the Optimization of Preparation Costs in Runtime TestingAlberto González-Sanchez, Éric Piel, Hans-Gerhard Gross, Arjan J. C. van Gemund. 654-660 [doi]