Abstract is missing.
- Using Algebraic Petri Nets for Testing the Models of Ad Hoc Secure Routing Protocols in Mobility ScenariosMihai-Lica Pura, Didier Buchs. 2-3 [doi]
- Security Testing Based on Attack PatternsJosip Bozic, Franz Wotawa. 4-11 [doi]
- Coverage-Based Test Cases Selection for XACML PoliciesAntonia Bertolino, Yves Le Traon, Francesca Lonetti, Eda Marchetti, Tejeddine Mouelhi. 12-21 [doi]
- Automatic Model Inference of Web Applications for Security TestingKarim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier. 22-23 [doi]
- DITEC (DoD-Centric and Independent Technology Evaluation Capability): A Process for Testing SecurityJose Romero-Mariona. 24-25 [doi]
- Designing Sequence Diagram Models for Robustness to AttacksBoutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza. 26-33 [doi]
- Empirical Investigation of the Web Browser Attack Surface under Cross-Site Scripting: An Urgent Need for Systematic Security Regression TestingErwan Abgrall, Yves Le Traon, Sylvain Gombault, Martin Monperrus. 34-41 [doi]
- On Modeling and Testing Security Properties of Vehicular NetworksMohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli. 42-50 [doi]
- Combinatorial Testing for an Automotive Hybrid Electric Vehicle Control System: A Case StudyGunwant Dhadyalla, Neelu Kumari, Timothy Snell. 51-57 [doi]
- Eris: A Tool for Combinatorial Testing of the Linux System Call InterfaceBernhard Garn, Dimitris E. Simos. 58-67 [doi]
- An Empirical Comparison of Combinatorial and Random TestingLaleh S. Ghandehari, Jacek Czerwonka, Yu Lei, Soheil Shafiee, Raghu Kacker, D. Richard Kuhn. 68-77 [doi]
- Using Combinatorial Approaches for Testing Mobile ApplicationsSergiy Vilkomir, Brandi Amstutz. 78-83 [doi]
- Combinatorial Interaction Testing of a Java Card Static VerifierAndrea Calvagna, Andrea Fornaia, Emiliano Tramontana. 84-87 [doi]
- Extracting the Combinatorial Test Parameters and Values from UML Sequence DiagramsPreeti Satish, Arinjita Paul, Krishnan Rangarajan. 88-97 [doi]
- Validation of Models and Tests for Constrained Combinatorial Interaction TestingPaolo Arcaini, Angelo Gargantini, Paolo Vavassori. 98-107 [doi]
- Functional Dependence and Equivalence Class Factors in Combinatorial Test DesignsGeorge B. Sherwood. 108-117 [doi]
- Combinatorial Testing with Order RequirementsEitan Farchi, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick. 118-127 [doi]
- Test Suite Reduction by Combinatorial-Based Coverage of Event SequencesQuentin Mayo, Ryan Michaels, Renée C. Bryce. 128-132 [doi]
- Test Suite Prioritization by Switching CostHuayao Wu, Changhai Nie, Fei-Ching Kuo. 133-142 [doi]
- Refining a Randomized Post-optimization Method for Covering ArraysXiaohua Li, Zhao Dong, Huayao Wu, Changhai Nie, Kai-Yuan Cai. 143-152 [doi]
- Introducing Combinatorial Testing in a Large Organization: Pilot Project Experience ReportJon D. Hagar, Rick Kuhn, Raghu Kacker, Tom Wissink. 153 [doi]
- Estimating Fault Detection EffectivenessRick Kuhn, Raghu Kacker, Yu Lei. 154 [doi]
- MUTATION 2014 Workshop Summary: Ninth International Workshop on Mutation AnalysisMike Papadakis, Tejeddine Mouelhi, Haitao Dan. 155 [doi]
- Experimental Evaluation of Mutation Testing Approaches to Python ProgramsAnna Derezinska, Konrad Halas. 156-164 [doi]
- HOMAJ: A Tool for Higher Order Mutation Testing in AspectJ and JavaElmahdi Omar, Sudipto Ghosh, Darrell Whitley. 165-170 [doi]
- Assessing the Influence of Multiple Test Case Selection on Mutation ExperimentsMárcio Eduardo Delamaro, Jeff Offutt. 171-175 [doi]
- Mutant Subsumption GraphsBob Kurtz, Paul Ammann, Márcio Eduardo Delamaro, Jeff Offutt, Lin Deng. 176-185 [doi]
- Probability-Based Semantic Interpretation of MutantsMatthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark. 186-195 [doi]
- Using Data Flow Patterns for Equivalent Mutant DetectionMarinos Kintis, Nicos Malevris. 196-205 [doi]
- Towards a Taxonomy for Simulink Model MutationsMatthew Stephan, Manar H. Alalfi, James R. Cordy. 206-215 [doi]
- Generating Test Data to Distinguish Conjunctive Queries with EqualitiesPreetham Vemasani, Alexander Brodsky, Paul Ammann. 216-221 [doi]
- On Studying the Effectiveness of Extended Finite State Machine Based Test Selection CriteriaKhaled El-Fakih, Adenilso Simão, Noshad Jadoon, José Carlos Maldonado. 222-229 [doi]
- Summary Based Static Analysis for Practical Search for Defects in C Programs and LibrariesAlexey Borodin. 231-232 [doi]
- Enhancing Utility and Privacy of Data for Software TestingBoyang Li. 233-234 [doi]
- A Fault Model Framework for Quality AssuranceDominik Holling. 235-236 [doi]
- Techniques for Automatic Detection of Metamorphic RelationsUpulee Kanewala. 237-238 [doi]
- Automating Test Oracles for Systems with Complex OutputsRafael A. P. Oliveira. 239-240 [doi]
- Static Analysis Usage for Customizable Semantic Checks of C and C++ Programming Languages ConstraintsValery Ignatyev. 241-242 [doi]
- Exhaustive Exploration of Ajax Web Applications with Selective JumpingSylvain Hallé, Gabriel Le Breton, Fabien Maronnaud, Alexandre Blondin Massé, Sébastien Gaboury. 243-252 [doi]
- MC/DC-Like Structural Coverage Criteria for Function Block DiagramsKohei Maruchi, Hiromasa Shin, Masahiro Sakai. 253-259 [doi]
- SOA Testing via Random Paths in BPEL ModelsSeema Jehan, Ingo Pill, Franz Wotawa. 260-263 [doi]
- Comparing Model-Based Testing with Traditional Testing Strategies: An Empirical StudyArthur Marques, Franklin Ramalho, Wilkerson de L. Andrade. 264-273 [doi]
- Applying Pattern-Based Graphical Validation Rules to Business Process ModelsSören Witt, Sven Feja, Andreas Speck. 274-283 [doi]
- Model-Based Exploratory Testing: A Controlled ExperimentChristopher Schaefer, Hyunsook Do. 284-293 [doi]
- Lossless Reduction of Execution Profiles Using a Genetic AlgorithmRawad Abou Assi, Wes Masri. 294-297 [doi]
- Weighted Execution Profiles for Software TestingJoan Farjo, Wes Masri. 298-301 [doi]
- A Search-Based Approach for Cost-Effective Software Test Automation Decision Support and an Industrial Case StudyYasaman Amannejad, Vahid Garousi, Rob Irving, Zahra Sahaf. 302-311 [doi]
- Regression Testing for Web Applications Using Reusable Constraint ValuesMd. Hossain, Hyunsook Do, Ravi Eda. 312-321 [doi]
- Empirical Studies of Privacy-Preserving Regression Test Selection Techniques for Web ServicesMichael E. Ruth. 322-331 [doi]
- State Profiling of Internal VariablesWes Masri, James Daou, Rawad Abou Assi. 332-335 [doi]
- TAIC PART 2014 Workshop OverviewNadia Alshahwan, Michael Felderer, Gregory M. Kapfhammer. 336 [doi]
- Towards a Test Automation Improvement Model (TAIM)Sigrid Eldh, Kenneth Andersson, Andreas Ermedahl, Kristian Wiklund. 337-342 [doi]
- Murphy Tools: Utilizing Extracted GUI Models for Industrial Software TestingPekka Aho, Matias Suarez, Teemu Kanstrén, Atif M. Memon. 343-348 [doi]
- On an Embedded Software Design Architecture for Improving the Testability of In-vehicle Multimedia SoftwareBrownson Obaridoa Obele, Donyul Kim. 349-352 [doi]
- Viewpoint-Based Test Requirement Analaysis ModelingYasuharu Nishi. 353-357 [doi]
- Practical Challenges in Test Environment ManagementRudolf Ramler, Johannes Gmeiner. 358-359 [doi]
- Trial of Organizing Software Test Strategy via Software Test PerspectivesShinji Kawaguchi. 360 [doi]
- Performance Testing Web Applications on the CloudJoydeep Mukherjee, Mea Wang, Diwakar Krishnamurthy. 363-369 [doi]
- Automated WAIT for Cloud-Based Application TestingA. Omar Portillo-Dominguez, Miao Wang, John Murphy, Damien Magoni. 370-375 [doi]
- A DSL for Deployment and Testing in the CloudAdrien Thiery, Thomas Cerqueus, Christina Thorpe, Gerson Sunyé, John Murphy. 376-382 [doi]
- Dfuzzer: A D-Bus Service Fuzzing ToolMatús Marhefka, Petr Müller. 383-389 [doi]
- Automated and Isolated Tests for Complex Middleware Products: The Case of BPEL EnginesSimon Harrer, Cedric Rock, Guido Wirtz. 390-398 [doi]
- MutaLog: A Tool for Mutating Logic FormulasChristopher Henard, Mike Papadakis, Yves Le Traon. 399-404 [doi]
- ArbitCheck: A Highly Automated Property-Based Testing Tool for JavaKohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden. 405-412 [doi]
- WebMate: Web Application Test Generation in the Real WorldValentin Dallmeier, Bernd Pohl, Martin Burger 0002, Michael Mirold, Andreas Zeller. 413-418 [doi]