![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
6th ICST Workshops 2013: Luxembourg
- Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013. IEEE Computer Society 2013, ISBN 978-1-4799-1324-4
Second International Workshop on Engineering Safety and Security Systems (ESSS 2013)
- Jun Pang, Yang Liu
, Sjouke Mauw
:
Message from ESSS 2013 Workshop Co-chairs. 1 - Silvano Colombo Tosatto, Marwane El Kharbili, Guido Governatori
, Pierre Kelsen, Qin Ma, Leendert W. N. van der Torre
:
Algorithms for Basic Compliance Problems. 2-7 - Christopher Preschern, Andreas Johann Hörmer, Nermin Kajtazovic, Christian Kreiner
:
Software-Based Remote Attestation for Safety-Critical Systems. 8-12 - Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi
, Akira Fukuda, Toshiaki Aoki
, Kokichi Futatsugi:
Towards Formal Description of Standards for Automotive Operating Systems. 13-14 - Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu:
A Denotational Model for Interrupt-Driven Programs. 15-20 - Huiquan Zhu, Jin Song Dong, Bimlesh Wadhwa
, Shang-Wei Lin
:
Generating C# Programs from CSP# Models. 21-26
Eighth Workshop on Mutation Analysis (Mutation 2013)
- Márcio Eduardo Delamaro, Haitao Dan, Yue Jia:
Welcome from the Chairs. 27 - Antonia Bertolino
, Said Daoudagh
, Francesca Lonetti
, Eda Marchetti
:
XACMUT: XACML 2.0 Mutants Generator. 28-33 - Phu Hong Nguyen
, Mike Papadakis
, Iram Rubab:
Testing Delegation Policy Enforcement via Mutation Analysis. 34-42 - Yasser Khan, Jameleddine Hassine
:
Mutation Operators for the Atlas Transformation Language. 43-52 - Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark:
Using Mutation Analysis to Evolve Subdomains for Random Testing. 53-62 - Chris J. Wright, Gregory M. Kapfhammer, Phil McMinn:
Efficient Mutation Analysis of Relational Database Structure Using Mutant Schemata and Parallelisation. 63-72
Eighth Workshop on Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART 2013)
- Michael Felderer, Sigrid Eldh
, Vladimir Entin, Nadia Alshahwan:
TAIC PART 2013 Workshop Summary. 73
Test Case Selection
- Georg Buchgeher, Christian Ernstbrunner, Rudolf Ramler, Michael Lusser:
Towards Tool-Support for Test Case Selection in Manual Regression Testing. 74-79
Refactoring, Defect Localization and Reachability
- Steve Counsell, Matt Gatrell, Robert M. Hierons
, Alessandro Murgia, Roberto Tonelli
, Michele Marchesi
, Giulio Concas:
Conditional-Based Refactorings and Fault-Proneness: An Empirical Study. 80-85 - Anis Yousefi, Alan Wassyng:
A Call Graph Mining and Matching Based Defect Localization Technique. 86-95 - Kumar Madhukar, Ravindra Metta, Priyanka Singh, R. Venkatesh:
Reachability Verification of Rhapsody Statecharts. 96-101
Process, Organization, and Maintainability
- Anca Deak, Tor Stålhane:
Organization of Testing Activities in Norwegian Software Companies. 102-107 - Maurizio Leotta
, Diego Clerissi, Filippo Ricca, Cristiano Spadaro:
Improving Test Suites Maintainability with the Page Object Pattern: An Industrial Case Study. 108-113 - Harry M. Sneed, Birgit Demuth, Bjoern Freitag:
A Process for Assessing Data Quality. 114-119
Fast Abstracts
- Dominik Franke, Stefan Hempel, Stefan Kowalewski:
Specifying Life Cycle Requirements in a Natural-like Language and ptLTL. 120-121 - Rudolf Ramler, Werner Putschögl:
Reusing Automated Regression Tests for Multiple Variants of a Software Product Line. 122-123 - Bernhard Peischl
, Sandra M. Lang:
What Can We Learn from In-process Metrics on Issue Management? - Insights from an Industrial Case Study. 124-125
Fourth International Workshop on TESTing Techniques and Experimentation Benchmarks for Event-Driven Software (TESTBEDS 2013)
Full Papers
- Domenico Amalfitano
, Anna Rita Fasolino
, Porfirio Tramontana
, Nicola Amatucci
:
Considering Context Events in Event-Based Testing of Mobile Applications. 126-133 - Steffen Herbold
, Patrick Harms
:
AutoQUEST - Automated Quality Engineering of Event-Driven Software. 134-139
Demo Paper
- Tiago Monteiro, Ana C. R. Paiva:
Pattern Based GUI Testing Modeling Environment. 140-143
Ninth Workshop on Advances in Model Based Testing (A-MOST 2013)
Session 1 - SOA and WS-BPEL Testing
- Afef Jmal Maâlej, Manel Hamza, Moez Krichen, Mohamed Jmaiel:
Automated Significant Load Testing for WS-BPEL Compositions. 144-153 - Franz Wotawa
, Marco Schulz, Ingo Pill
, Seema Jehan, Philipp Leitner, Waldemar Hummer, Stefan Schulte
, Philipp Hoenisch, Schahram Dustdar
:
Fifty Shades of Grey in SOA Testing. 154-157
Session 2 - Test Case Generation and Fault Localization
- Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson
:
Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker. 158-167 - Isabel Nunes, Filipe Luís:
A 5-Step Hunt for Faults in Java Implementations of Algebraic Specifications. 168-177 - Paolo Arcaini
, Angelo Gargantini, Elvinia Riccobene
:
Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism. 178-187
Session 3 - Improving and Assessing Test Suites
- Christopher Henard, Mike Papadakis
, Gilles Perrouin
, Jacques Klein
, Yves Le Traon:
Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing. 188-197 - Alexandre Petrenko
, Arnaud Dury, S. Ramesh, Swarup Mohalik:
A Method and Tool for Test Optimization for Automotive Controllers. 198-207
Fifth Workshop on the Constraints in Software Testing, Verification and Analysis (CSTVA 2013)
- Cristian Cadar
, Frédéric Dadeau:
Constraints in Software Testing, Verification and Analysis CSTVA'2013. 208-209
CSTVA Session 1
- Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko
:
Random Grammar-Based Testing for Covering All Non-terminals. 210-215 - Gustavo Grieco, Laurent Mounier, Marie-Laure Potet, Sanjay Rawat:
A Stack Model for Symbolic Buffer Overflow Exploitability Analysis. 216-217 - Ivan Enderlin, Alain Giorgetti
, Fabrice Bouquet
:
A Constraint Solver for PHP Arrays. 218-223
CSTVA Session 2
- Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet:
Strategies Comparison of Test Generation from UML Using SMT Solver. 224-229 - Mickaël Delahaye, Nikolai Kosmatov:
A Late Treatment of C Precondition in Dynamic Symbolic Execution. 230-231 - Seema Jehan, Ingo Pill
, Franz Wotawa
:
SOA Grey Box Testing - A Constraint-Based Approach. 232-237
CSTVA Session 1
- Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord:
Rank: A Tool to Check Program Termination and Computational Complexity. 238
Second International Workshop on Combinatorial Testing (IWCT 2013)
Evaluation of CT
- Changhai Nie, Jing Jiang, Huayao Wu, Hareton Leung
, Charles J. Colbourn:
Empirically Identifying the Best Greedy Algorithm for Covering Array Generation. 239-248 - Sergiy Vilkomir, Oleksii Starov, Ranjan Bhambroo:
Evaluation of t-wise Approach for Testing Logical Expressions in Software. 249-256 - Jacek Czerwonka:
On Use of Coverage Metrics in Assessing Effectiveness of Combinatorial Test Designs. 257-266
Test Generation, Faults and Bounds
- Yong Zhao, Zhiqiang Zhang, Jun Yan, Jian Zhang:
Cascade: A Test Generation Tool for Combinatorial Testing. 267-270 - Xintao Niu, Changhai Nie, Yu Lei, Alvin T. S. Chan:
Identifying Failure-Inducing Combinations Using Tuple Relationship. 271-280 - Oded Margalit:
Better Bounds for Event Sequencing Testing. 281-284 - Xiao Qu, Myra B. Cohen:
A Study in Prioritization for Higher Strength Combinatorial Testing. 285-294
Combinatorial Modeling
- Yasuharu Nishi, Tetsuro Katayama, Satomi Yoshizawa:
Combinatorial Test Architecture Design Using Viewpoint Diagram. 295-300 - Yvan Labiche
, Faezeh Rafsanjani Sadeghi:
Experimenting with Category Partition's 1-Way and 2-Way Test Selection Criteria. 301-310 - Eitan Farchi, Itai Segall, Rachel Tzoref-Brill:
Using Projections to Debug Large Combinatorial Models. 311-320
Feature Models and UML
- Sachin Patel, Priya Gupta, Vipul Shah:
Combinatorial Interaction Testing with Multi-perspective Feature Models. 321-330 - Preeti Satish, K. Sheeba, Krishnan Rangarajan
:
Deriving Combinatorial Test Design Model from UML Activity Diagram. 331-337 - Andrea Calvagna
, Angelo Gargantini, Paolo Vavassori:
Combinatorial Testing for Feature Models Using CitLab. 338-347
Posters
- Manish Mehta, Roji Philip:
Applications of Combinatorial Testing Methods for Breakthrough Results in Software Testing. 348-351 - D. Richard Kuhn, Itzel Dominguez Mendoza, Raghu Kacker, Yu Lei:
Combinatorial Coverage Measurement Concepts and Applications. 352-361 - Laleh Shikh Gholamhossein Ghandehari, Mehra N. Borazjany, Yu Lei, Raghu Kacker, D. Richard Kuhn:
Applying Combinatorial Testing to the Siemens Suite. 362-371
Third International Workshop on Regression Testing (Regression 2013)
- Mehra N. Borazjany, Laleh Shikh Gholamhossein Ghandehari, Yu Lei, Raghu Kacker, Rick Kuhn:
An Input Space Modeling Methodology for Combinatorial Testing. 372-381 - Junji Zhi, Vahid Garousi
:
On Adequacy of Assertions in Automated Test Suites: An Empirical Investigation. 382-391 - Elie Shaccour, Fadi A. Zaraket
, Wes Masri:
Coverage Specification for Test Case Intent Preservation in Regression Suites. 392-395 - Sina Shamshiri, Gordon Fraser, Phil McMinn, Alessandro Orso:
Search-Based Propagation of Regression Faults in Automated Regression Testing. 396-399 - Joan Farjo, Rawad Abou Assi, Wes Masri, Fadi A. Zaraket
:
Does Principal Component Analysis Improve Cluster-Based Analysis? 400-403
Sixth International Workshop on Search-Based Software Testing (SBST 2013)
- Simon M. Poulding, Tanja E. J. Vos:
Sixth International Workshop on Search-Based Software Testing (SBST 2013): Workshop Summary. 404-405
Tool Competition Session
- Gordon Fraser, Andrea Arcuri:
EvoSuite at the SBST 2013 Tool Competition. 406-409 - I. S. W. B. Prasetya
:
Measuring T2 against SBST 2013 Benchmark Suite. 410-413 - Sebastian Bauersfeld, Tanja E. J. Vos, Kiran Lakhotia, Simon M. Poulding, Nelly Condori-Fernández
:
Unit Testing Tool Competition. 414-420
Technical Paper Session
- Kiran Lakhotia:
En Garde: Winning Coding Duels through Genetic Programming. 421-424 - Kivanc Doganay, Markus Bohlin, Ola Sellin:
Search Based Testing of Embedded Systems Implemented in IEC 61131-3: An Industrial Case Study. 425-432
Fourth International Workshop on Security Testing (SECTEST 2013)
- Keqin Li, Wissam Mallouli:
The Forth International Workshop on Security Testing (SECTEST 2013). 433-434
SECTEST Session 1
- Thomas Wahlberg, Petri Paakkola, Christian Wieser, Marko Laakso, Juha Röning
:
Kepler - Raising Browser Security Awareness. 435-440
SECTEST Session 2
- Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier:
Automatic Generation of Test Drivers for Model Inference of Web Applications. 441-444 - Franck Lebeau, Bruno Legeard
, Fabien Peureux, Alexandre Vernotte:
Model-Based Vulnerability Testing for Web Applications. 445-452 - Christian Schanes, Andreas Hubler, Florian Fankhauser, Thomas Grechenig:
Generic Approach for Security Error Detection Based on Learned System Behavior Models for Automated Security Tests. 453-460
SECTEST Session 3
- Fides Aarts, Joeri de Ruiter
, Erik Poll:
Formal Models of Bank Cards for Free. 461-468 - Martin A. Schneider
, Jürgen Großmann, Ina Schieferdecker
, Andrej Pietschker:
Online Model-Based Behavioral Fuzzing. 469-475 - Padmalochan Bera, Soumya Kanti Ghosh:
A Query Driven Security Testing Framework for Enterprise Network. 476-483
![](https://dblp1.uni-trier.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.