![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
7th ICST Workshops 2014: Cleveland, Ohio, USA
- Seventh IEEE International Conference on Software Testing, Verification and Validation, ICST 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, USA. IEEE Computer Society 2014, ISBN 978-0-7695-5194-4
Fifth International Workshop on Security Testing (SECTEST 2014)
- Mihai-Lica Pura, Didier Buchs:
Using Algebraic Petri Nets for Testing the Models of Ad Hoc Secure Routing Protocols in Mobility Scenarios. 2-3 - Josip Bozic, Franz Wotawa
:
Security Testing Based on Attack Patterns. 4-11 - Antonia Bertolino
, Yves Le Traon, Francesca Lonetti
, Eda Marchetti
, Tejeddine Mouelhi:
Coverage-Based Test Cases Selection for XACML Policies. 12-21 - Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier:
Automatic Model Inference of Web Applications for Security Testing. 22-23 - Jose Romero-Mariona:
DITEC (DoD-Centric and Independent Technology Evaluation Capability): A Process for Testing Security. 24-25 - Boutheina Bannour
, Jose Pablo Escobedo, Christophe Gaston
, Pascale Le Gall, Gabriel Pedroza
:
Designing Sequence Diagram Models for Robustness to Attacks. 26-33 - Erwan Abgrall, Yves Le Traon, Sylvain Gombault, Martin Monperrus
:
Empirical Investigation of the Web Browser Attack Surface under Cross-Site Scripting: An Urgent Need for Systematic Security Regression Testing. 34-41 - Mohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli
:
On Modeling and Testing Security Properties of Vehicular Networks. 42-50
The Third International Workshop on Combinatorial Testing (IWCT 2014)
Empirical and Experience Reports
- Gunwant Dhadyalla, Neelu Kumari, Timothy Snell:
Combinatorial Testing for an Automotive Hybrid Electric Vehicle Control System: A Case Study. 51-57 - Bernhard Garn, Dimitris E. Simos:
Eris: A Tool for Combinatorial Testing of the Linux System Call Interface. 58-67 - Laleh S. Ghandehari, Jacek Czerwonka, Yu Lei, Soheil Shafiee, Raghu Kacker, D. Richard Kuhn:
An Empirical Comparison of Combinatorial and Random Testing. 68-77 - Sergiy Vilkomir, Brandi Amstutz:
Using Combinatorial Approaches for Testing Mobile Applications. 78-83 - Andrea Calvagna
, Andrea Fornaia, Emiliano Tramontana:
Combinatorial Interaction Testing of a Java Card Static Verifier. 84-87
Modeling
- Preeti Satish, Arinjita Paul, Krishnan Rangarajan
:
Extracting the Combinatorial Test Parameters and Values from UML Sequence Diagrams. 88-97 - Paolo Arcaini
, Angelo Gargantini, Paolo Vavassori:
Validation of Models and Tests for Constrained Combinatorial Interaction Testing. 98-107 - George B. Sherwood:
Functional Dependence and Equivalence Class Factors in Combinatorial Test Designs. 108-117
Algorithms
- Eitan Farchi, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick:
Combinatorial Testing with Order Requirements. 118-127 - Quentin Mayo, Ryan Michaels, Renée C. Bryce:
Test Suite Reduction by Combinatorial-Based Coverage of Event Sequences. 128-132 - Huayao Wu, Changhai Nie, Fei-Ching Kuo:
Test Suite Prioritization by Switching Cost. 133-142 - Xiaohua Li, Zhao Dong, Huayao Wu, Changhai Nie, Kai-Yuan Cai:
Refining a Randomized Post-optimization Method for Covering Arrays. 143-152
Posters
- Jon D. Hagar, Rick Kuhn, Raghu Kacker, Tom Wissink:
Introducing Combinatorial Testing in a Large Organization: Pilot Project Experience Report. 153 - Rick Kuhn, Raghu Kacker, Yu Lei:
Estimating Fault Detection Effectiveness. 154
The Ninth International Workshop on Mutation Analysis (Mutation 2014)
- Mike Papadakis
, Tejeddine Mouelhi, Haitao Dan:
MUTATION 2014 Workshop Summary: Ninth International Workshop on Mutation Analysis. 155
Paper Sessions
- Anna Derezinska
, Konrad Halas:
Experimental Evaluation of Mutation Testing Approaches to Python Programs. 156-164 - Elmahdi Omar, Sudipto Ghosh, L. Darrell Whitley:
HOMAJ: A Tool for Higher Order Mutation Testing in AspectJ and Java. 165-170 - Márcio Eduardo Delamaro, Jeff Offutt:
Assessing the Influence of Multiple Test Case Selection on Mutation Experiments. 171-175 - Bob Kurtz, Paul Ammann, Márcio Eduardo Delamaro, Jeff Offutt, Lin Deng
:
Mutant Subsumption Graphs. 176-185 - Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark:
Probability-Based Semantic Interpretation of Mutants. 186-195 - Marinos Kintis, Nicos Malevris:
Using Data Flow Patterns for Equivalent Mutant Detection. 196-205 - Matthew Stephan, Manar H. Alalfi
, James R. Cordy:
Towards a Taxonomy for Simulink Model Mutations. 206-215 - Preetham Vemasani, Alexander Brodsky, Paul Ammann:
Generating Test Data to Distinguish Conjunctive Queries with Equalities. 216-221 - Khaled El-Fakih, Adenilso Simão
, Noshad Jadoon, José Carlos Maldonado:
On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria. 222-229
Ph.D. Symposium
- Alexey Borodin:
Summary Based Static Analysis for Practical Search for Defects in C Programs and Libraries. 231-232 - Boyang Li:
Enhancing Utility and Privacy of Data for Software Testing. 233-234 - Dominik Holling:
A Fault Model Framework for Quality Assurance. 235-236 - Upulee Kanewala
:
Techniques for Automatic Detection of Metamorphic Relations. 237-238 - Rafael A. P. Oliveira:
Automating Test Oracles for Systems with Complex Outputs. 239-240 - Valery Ignatyev
:
Static Analysis Usage for Customizable Semantic Checks of C and C++ Programming Languages Constraints. 241-242
10th Workshop on Advances in Model Based Testing (A-MOST 2014)
- Sylvain Hallé
, Gabriel Le Breton, Fabien Maronnaud, Alexandre Blondin Massé, Sébastien Gaboury:
Exhaustive Exploration of Ajax Web Applications with Selective Jumping. 243-252 - Kohei Maruchi, Hiromasa Shin, Masahiro Sakai
:
MC/DC-Like Structural Coverage Criteria for Function Block Diagrams. 253-259 - Seema Jehan, Ingo Pill
, Franz Wotawa
:
SOA Testing via Random Paths in BPEL Models. 260-263 - Arthur Marques, Franklin Ramalho, Wilkerson de L. Andrade
:
Comparing Model-Based Testing with Traditional Testing Strategies: An Empirical Study. 264-273 - Sören Witt, Sven Feja, Andreas Speck:
Applying Pattern-Based Graphical Validation Rules to Business Process Models. 274-283 - Christopher Schaefer, Hyunsook Do:
Model-Based Exploratory Testing: A Controlled Experiment. 284-293
Fourth International Workshop on Regression Testing (Regression 2014)
- Rawad Abou Assi, Wes Masri:
Lossless Reduction of Execution Profiles Using a Genetic Algorithm. 294-297 - Joan Farjo, Wes Masri:
Weighted Execution Profiles for Software Testing. 298-301 - Yasaman Amannejad, Vahid Garousi
, Rob Irving, Zahra Sahaf:
A Search-Based Approach for Cost-Effective Software Test Automation Decision Support and an Industrial Case Study. 302-311 - Md. Hossain, Hyunsook Do, Ravi Eda:
Regression Testing for Web Applications Using Reusable Constraint Values. 312-321 - Michael E. Ruth:
Empirical Studies of Privacy-Preserving Regression Test Selection Techniques for Web Services. 322-331 - Wes Masri, James Daou, Rawad Abou Assi:
State Profiling of Internal Variables. 332-335
Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART)
- Nadia Alshahwan, Michael Felderer, Gregory M. Kapfhammer:
TAIC PART 2014 Workshop Overview. 336
Improving Automation, GUI Models, and Testability
- Sigrid Eldh
, Kenneth Andersson, Andreas Ermedahl, Kristian Wiklund
:
Towards a Test Automation Improvement Model (TAIM). 337-342 - Pekka Aho, Matias Suarez, Teemu Kanstrén, Atif M. Memon:
Murphy Tools: Utilizing Extracted GUI Models for Industrial Software Testing. 343-348 - Brownson Obaridoa Obele, Donyul Kim:
On an Embedded Software Design Architecture for Improving the Testability of In-vehicle Multimedia Software. 349-352
Test Requirements, Environment, Strategy, and Design
- Yasuharu Nishi:
Viewpoint-Based Test Requirement Analaysis Modeling. 353-357 - Rudolf Ramler, Johannes Gmeiner:
Practical Challenges in Test Environment Management. 358-359 - Shinji Kawaguchi:
Trial of Organizing Software Test Strategy via Software Test Perspectives. 360
Second International Workshop on Testing the Cloud (TTC 2014)
- Joydeep Mukherjee, Mea Wang, Diwakar Krishnamurthy:
Performance Testing Web Applications on the Cloud. 363-369 - A. Omar Portillo-Dominguez, Miao Wang, John Murphy, Damien Magoni
:
Automated WAIT for Cloud-Based Application Testing. 370-375 - Adrien Thiery, Thomas Cerqueus, Christina Thorpe, Gerson Sunyé, John Murphy:
A DSL for Deployment and Testing in the Cloud. 376-382
ICST 2014 Tool Demo
- Matús Marhefka, Petr Müller:
Dfuzzer: A D-Bus Service Fuzzing Tool. 383-389 - Simon Harrer
, Cedric Röck, Guido Wirtz
:
Automated and Isolated Tests for Complex Middleware Products: The Case of BPEL Engines. 390-398 - Christopher Henard, Mike Papadakis
, Yves Le Traon:
MutaLog: A Tool for Mutating Logic Formulas. 399-404 - Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden:
ArbitCheck: A Highly Automated Property-Based Testing Tool for Java. 405-412 - Valentin Dallmeier, Bernd Pohl, Martin Burger, Michael Mirold, Andreas Zeller
:
WebMate: Web Application Test Generation in the Real World. 413-418
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.