|
|
-
|
|
Accepted Papers
- Hana Chockler, Eitan Farchi, Benny Godlin and Sergey
Novikov. Cross-Entropy-Based Replay of Concurrent
Programs
- Achim D. Brucker Burkhart Wolff. HOL-TestGen --- An
Interactive Test-case Generation Framework
- Paolo Bottoni, Esther Guerra and Juan de Lara.
Formal Foundation for Pattern-Based Modelling
- Shaunak Chatterjee, Sudeep Juvekar and Koushik Sen.
SNIFF: A Search Engine for Java using Free-Form
Queries
- Piotr Kosiuczenko. On the Implementation of
@pre
- Marco Autili, Paolo Di Benedetto and Paola
Inverardi. Context-aware Adaptive Services: the
PLASTIC Approach
- Ondrej Sery. Enhanced Property Specification and
Verification in BLAST
- Erwan Jahier, Nicolas Halbwachs and Pascal Raymond.
Synchronous Modeling and Validation of Priority
Inheritance Schedulers
- Mithun Acharya and Tao Xie. Mining API
Error-Handling Specifications from Source Code
- Alexander Fülleborn, Klaus Meffert and Maritta
Heisel. Problem Oriented Documentation of Design
Patterns
- Vasanth Rajamani, Christine Julien, Jamie Payton and
Catalin Roman. Inquiry and Introspection for
Non-Deterministic Queries in Mobile Networks
- Guido Wachsmuth. A Formal Way from Text to Code
Templates
- Marieke Huisman and Alejandro Tamalet. A Formal
Connection between Security Automata and JML
Annotations
- Frank Hermann, Hartmut Ehrig and Claudia Ermel.
Transformation of Type Graphs with Inheritance for
Ensuring Security in E-Government Networks
- Gabriele Taentzer, Stefan Jurack, Leen Lambers,
Katharina Mehner and Gerd Wierse. Object Flow
Validation for Refined Activity Diagrams
- Hillel Kugler, Cory Plock and Amir Pnueli.
Controller Synthesis from LSC Requirements
- Radu Calinescu and Marta Kwiatkowska. CADS*:
Computer-Aided Development of Self-* Systems
- Kelly Androutsopoulos, David Clark, Mark Harman,
Zheng Li and Laurence Tratt. Control Dependence for
Extended Finite State Machines
- Adrian Rutle, Alessandro Rossini, Yngve Lamo and Uwe
Wolter. A Category-Theoretical Approach to the
Formalisation of Version Control in MDE
- Qichang Chen, Liqiang Wang, Zijiang Yang and Scott
Stoller. HAVE: Integrated Dynamic and Static Analysis
for Atomicity Violations
- Artur Boronat, Reiko Heckel and Jose Meseguer.
Rewriting Logic Semantics and Verification of Model
Transformations
- Iman Narasamdya and Michael Perin. Certification of
Smart-Card Applications in Common Criteria: Proving
Representation Correspondences
- William Sumner and Xiangyu Zhang. Automatic Failure
Causal Path Computation Algorithms
- Nazareno Aguirre, Marcelo Frias, Mariano Moscato,
Tom Maibaum and Alan Wassyng. Describing and Analyzing
Behaviours over Tabular Specifications using
(Dyn)Alloy
- Dimitra Giannakopoulou and Corina Pasareanu.
Interface Generation and Compositional Verification in
JavaPathfinder
- Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay
Chander and Hiroshi Inamura. Formal Specification and
Analysis of Timing Properties in Software Systems
- Hoan Nguyen, Tung Nguyen, Nam Pham, Jafar Al-Kofahi
and Tien Nguyen. Accurate and Efficient Structural
Characteristic Feature Extraction Method for Clone
Detection
- Jon Oldevik, Oystein Haugen and Birger
Møller-Pedersen. Confluence in
Domain-Independent Product Line Transformations
- Vilas Jagannath, Yun Young Lee, Brett Daniel and
Darko Marinov. Reducing the Costs of
Bounded-Exhaustive Testing
- Kathryn E Gray and Alan Mycroft. Logical Testing:
Hoare-style Specification Meets Executable
Validation
- Rustan Leino and Ronald Middelkoop. Proving
Consistency of Pure Methods and Model Fields
- Laura Kovacs and Andrei Voronkov. Finding Loop
Invariants for Programs Over Arrays Using a Theorem
Prover
|
