Abstract is missing.
- Message from ESSS 2013 Workshop Co-chairsJun Pang, Yang Liu, Sjouke Mauw. 1 [doi]
- Algorithms for Basic Compliance ProblemsSilvano Colombo Tosatto, Marwane El Kharbili, Guido Governatori, Pierre Kelsen, Qin Ma 0002, Leendert van der Torre. 2-7 [doi]
- Software-Based Remote Attestation for Safety-Critical SystemsChristopher Preschern, Andreas Johann Hormer, Nermin Kajtazovic, Christian Kreiner. 8-12 [doi]
- Towards Formal Description of Standards for Automotive Operating SystemsHirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi. 13-14 [doi]
- A Denotational Model for Interrupt-Driven ProgramsYanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu. 15-20 [doi]
- Generating C# Programs from CSP# ModelsHuiquan Zhu, Jin Song Dong, Bimlesh Wadhwa, Shang-Wei Lin. 21-26 [doi]
- Welcome from the ChairsMárcio Eduardo Delamaro, Haitao Dan, Yue Jia. 27 [doi]
- XACMUT: XACML 2.0 Mutants GeneratorAntonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti. 28-33 [doi]
- Testing Delegation Policy Enforcement via Mutation AnalysisPhu H. Nguyen, Mike Papadakis, Iram Rubab. 34-42 [doi]
- Mutation Operators for the Atlas Transformation LanguageYasser Khan, Jameleddine Hassine. 43-52 [doi]
- Using Mutation Analysis to Evolve Subdomains for Random TestingMatthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark. 53-62 [doi]
- Efficient Mutation Analysis of Relational Database Structure Using Mutant Schemata and ParallelisationChris J. Wright, Gregory M. Kapfhammer, Phil McMinn. 63-72 [doi]
- TAIC PART 2013 Workshop SummaryMichael Felderer, Sigrid Eldh, Vladimir Entin, Nadia Alshahwan. 73 [doi]
- Towards Tool-Support for Test Case Selection in Manual Regression TestingGeorg Buchgeher, Christian Ernstbrunner, Rudolf Ramler, Michael Lusser. 74-79 [doi]
- Conditional-Based Refactorings and Fault-Proneness: An Empirical StudySteve Counsell, Matt Gatrell, Robert M. Hierons, Alessandro Murgia, Roberto Tonelli, Michele Marchesi, Giulio Concas. 80-85 [doi]
- A Call Graph Mining and Matching Based Defect Localization TechniqueAnis Yousefi, Alan Wassyng. 86-95 [doi]
- Reachability Verification of Rhapsody StatechartsKumar Madhukar, Ravindra Metta, Priyanka Singh, R. Venkatesh. 96-101 [doi]
- Organization of Testing Activities in Norwegian Software CompaniesAnca Deak, Tor Stålhane. 102-107 [doi]
- Improving Test Suites Maintainability with the Page Object Pattern: An Industrial Case StudyMaurizio Leotta, Diego Clerissi, Filippo Ricca, Cristiano Spadaro. 108-113 [doi]
- A Process for Assessing Data QualityHarry M. Sneed, Birgit Demuth, Bjoern Freitag. 114-119 [doi]
- Specifying Life Cycle Requirements in a Natural-like Language and ptLTLDominik Franke, Stefan Hempel, Stefan Kowalewski. 120-121 [doi]
- Reusing Automated Regression Tests for Multiple Variants of a Software Product LineRudolf Ramler, Werner Putschögl. 122-123 [doi]
- What Can We Learn from In-process Metrics on Issue Management? - Insights from an Industrial Case StudyBernhard Peischl, Sandra M. Lang. 124-125 [doi]
- Considering Context Events in Event-Based Testing of Mobile ApplicationsDomenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana, Nicola Amatucci. 126-133 [doi]
- AutoQUEST - Automated Quality Engineering of Event-Driven SoftwareSteffen Herbold, Patrick Harms. 134-139 [doi]
- Pattern Based GUI Testing Modeling EnvironmentTiago Monteiro, Ana C. R. Paiva. 140-143 [doi]
- Automated Significant Load Testing for WS-BPEL CompositionsAfef Jmal Maâlej, Manel Hamza, Moez Krichen, Mohamed Jmaiel. 144-153 [doi]
- Fifty Shades of Grey in SOA TestingFranz Wotawa, Marco Schulz, Ingo Pill, Seema Jehan, Philipp Leitner, Waldemar Hummer, Stefan Schulte 0002, Philipp Hoenisch, Schahram Dustdar. 154-157 [doi]
- Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model CheckerEduard Paul Enoiu, Daniel Sundmark, Paul Pettersson. 158-167 [doi]
- A 5-Step Hunt for Faults in Java Implementations of Algebraic SpecificationsIsabel Nunes, Filipe Luís. 168-177 [doi]
- Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of NondeterminismPaolo Arcaini, Angelo Gargantini, Elvinia Riccobene. 178-187 [doi]
- Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity TestingChristopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon. 188-197 [doi]
- A Method and Tool for Test Optimization for Automotive ControllersAlexandre Petrenko, Arnaud Dury, S. Ramesh, Swarup Mohalik. 198-207 [doi]
- Constraints in Software Testing, Verification and Analysis CSTVA'2013Cristian Cadar, Frédéric Dadeau. 208-209 [doi]
- Random Grammar-Based Testing for Covering All Non-terminalsAloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko. 210-215 [doi]
- A Stack Model for Symbolic Buffer Overflow Exploitability AnalysisGustavo Grieco, Laurent Mounier, Marie-Laure Potet, Sanjay Rawat. 216-217 [doi]
- A Constraint Solver for PHP ArraysIvan Enderlin, Alain Giorgetti, Fabrice Bouquet. 218-223 [doi]
- Strategies Comparison of Test Generation from UML Using SMT SolverJéroôe Cantenot, Fabrice Ambert, Fabrice Bouquet. 224-229 [doi]
- A Late Treatment of C Precondition in Dynamic Symbolic ExecutionMickaël Delahaye, Nikolai Kosmatov. 230-231 [doi]
- SOA Grey Box Testing - A Constraint-Based ApproachSeema Jehan, Ingo Pill, Franz Wotawa. 232-237 [doi]
- Rank: A Tool to Check Program Termination and Computational ComplexityChristophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord. 238 [doi]
- Empirically Identifying the Best Greedy Algorithm for Covering Array GenerationChanghai Nie, Jing Jiang, Huayao Wu, Hareton Leung, Charles J. Colbourn. 239-248 [doi]
- Evaluation of t-wise Approach for Testing Logical Expressions in SoftwareSergiy Vilkomir, Oleksii Starov, Ranjan Bhambroo. 249-256 [doi]
- On Use of Coverage Metrics in Assessing Effectiveness of Combinatorial Test DesignsJacek Czerwonka. 257-266 [doi]
- Cascade: A Test Generation Tool for Combinatorial TestingYong Zhao, Zhiqiang Zhang, Jun Yan, Jian Zhang. 267-270 [doi]
- Identifying Failure-Inducing Combinations Using Tuple RelationshipXintao Niu, Changhai Nie, Yu Lei, Alvin T. S. Chan. 271-280 [doi]
- Better Bounds for Event Sequencing TestingOded Margalit. 281-284 [doi]
- A Study in Prioritization for Higher Strength Combinatorial TestingXiao Qu, Myra B. Cohen. 285-294 [doi]
- Combinatorial Test Architecture Design Using Viewpoint DiagramYasuharu Nishi, Tetsuro Katayama, Satomi Yoshizawa. 295-300 [doi]
- Experimenting with Category Partition's 1-Way and 2-Way Test Selection CriteriaYvan Labiche, Faezeh Rafsanjani Sadeghi. 301-310 [doi]
- Using Projections to Debug Large Combinatorial ModelsEitan Farchi, Itai Segall, Rachel Tzoref-Brill. 311-320 [doi]
- Combinatorial Interaction Testing with Multi-perspective Feature ModelsSachin Patel, Priya Gupta, Vipul Shah. 321-330 [doi]
- Deriving Combinatorial Test Design Model from UML Activity DiagramPreeti Satish, K. Sheeba, Krishnan Rangarajan. 331-337 [doi]
- Combinatorial Testing for Feature Models Using CitLabAndrea Calvagna, Angelo Gargantini, Paolo Vavassori. 338-347 [doi]
- Applications of Combinatorial Testing Methods for Breakthrough Results in Software TestingManish Mehta, Roji Philip. 348-351 [doi]
- Combinatorial Coverage Measurement Concepts and ApplicationsD. Richard Kuhn, Itzel Dominguez Mendoza, Raghu Kacker, Yu Lei. 352-361 [doi]
- Applying Combinatorial Testing to the Siemens SuiteLaleh Shikh Gholamhossein Ghandehari, Mehra N. Borazjany, Yu Lei, Raghu Kacker, D. Richard Kuhn. 362-371 [doi]
- An Input Space Modeling Methodology for Combinatorial TestingMehra N. Borazjany, Laleh Shikh Gholamhossein Ghandehari, Yu Lei, Raghu Kacker, Rick Kuhn. 372-381 [doi]
- On Adequacy of Assertions in Automated Test Suites: An Empirical InvestigationJunji Zhi, Vahid Garousi. 382-391 [doi]
- Coverage Specification for Test Case Intent Preservation in Regression SuitesElie Shaccour, Fadi A. Zaraket, Wes Masri. 392-395 [doi]
- Search-Based Propagation of Regression Faults in Automated Regression TestingSina Shamshiri, Gordon Fraser, Phil McMinn, Alessandro Orso. 396-399 [doi]
- Does Principal Component Analysis Improve Cluster-Based Analysis?Joan Farjo, Rawad Abou Assi, Wes Masri, Fadi A. Zaraket. 400-403 [doi]
- Sixth International Workshop on Search-Based Software Testing (SBST 2013): Workshop SummarySimon M. Poulding, Tanja E. J. Vos. 404-405 [doi]
- EvoSuite at the SBST 2013 Tool CompetitionGordon Fraser, Andrea Arcuri. 406-409 [doi]
- Measuring T2 against SBST 2013 Benchmark SuiteI. S. W. B. Prasetya. 410-413 [doi]
- Unit Testing Tool CompetitionSebastian Bauersfeld, Tanja E. J. Vos, Kiran Lakhotia, Simon M. Poulding, Nelly Condori-Fernández. 414-420 [doi]
- En Garde: Winning Coding Duels through Genetic ProgrammingKiran Lakhotia. 421-424 [doi]
- Search Based Testing of Embedded Systems Implemented in IEC 61131-3: An Industrial Case StudyKivanc Doganay, Markus Bohlin, Ola Sellin. 425-432 [doi]
- The Forth International Workshop on Security Testing (SECTEST 2013)Keqin Li 0002, Wissam Mallouli. 433-434 [doi]
- Kepler - Raising Browser Security AwarenessThomas Wahlberg, Petri Paakkola, Christian Wieser, Marko Laakso, Juha Röning. 435-440 [doi]
- Automatic Generation of Test Drivers for Model Inference of Web ApplicationsKarim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier. 441-444 [doi]
- Model-Based Vulnerability Testing for Web ApplicationsFranck Lebeau, Bruno Legeard, Fabien Peureux, Alexandre Vernotte. 445-452 [doi]
- Generic Approach for Security Error Detection Based on Learned System Behavior Models for Automated Security TestsChristian Schanes, Andreas Hubler, Florian Fankhauser, Thomas Grechenig. 453-460 [doi]
- Formal Models of Bank Cards for FreeFides Aarts, Joeri de Ruiter, Erik Poll. 461-468 [doi]
- Online Model-Based Behavioral FuzzingMartin Schneider, Jürgen Großmann, Ina Schieferdecker, Andrej Pietschker. 469-475 [doi]
- A Query Driven Security Testing Framework for Enterprise NetworkPadmalochan Bera, Soumya Kanti Ghosh. 476-483 [doi]