Abstract is missing.
- The Dependability of Complex Socio-technical SystemsRoss Anderson. 1 [doi]
- Automated Learning of Probabilistic Assumptions for Compositional ReasoningLu Feng, Marta Z. Kwiatkowska, David Parker. 2-17 [doi]
- An Interface Theory for Service-Oriented DesignJosé Luiz Fiadeiro, Antónia Lopes. 18-33 [doi]
- rt-Inconsistency: A New Property for Real-Time RequirementsAmalinda Post, Jochen Hoenicke, Andreas Podelski. 34-49 [doi]
- Automatic Flow Analysis for Event-BJens Bendisposto, Michael Leuschel. 50-64 [doi]
- Semantic Quality Attributes for Big-Step Modelling LanguagesShahram Esmaeilsabzali, Nancy A. Day. 65-80 [doi]
- Formalizing and Operationalizing Industrial StandardsDominik Dietrich, Lutz Schröder, Ewaryst Schulz. 81-95 [doi]
- Modelling Non-linear Crowd Dynamics in Bio-PEPAMieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston. 96-110 [doi]
- Smart ReductionPepijn Crouzen, Frédéric Lang. 111-126 [doi]
- Uniform Monte-Carlo Model CheckingJohan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet. 127-140 [doi]
- Model Checking Büchi Pushdown SystemsJuncao Li, Fei Xie, Thomas Ball, Vladimir Levin. 141-155 [doi]
- Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional BehaviorClaudia Ermel, Jürgen Gall, Leen Lambers, Gabriele Taentzer. 156-170 [doi]
- Models within Models: Taming Model Complexity Using the Sub-model LatticePierre Kelsen, Qin Ma 0002, Christian Glodt. 171-185 [doi]
- Type-Safe Evolution of SpreadsheetsJácome Cunha, Joost Visser, Tiago L. Alves, João Saraiva. 186-201 [doi]
- A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph ModificationsHartmut Ehrig, Claudia Ermel, Gabriele Taentzer. 202-216 [doi]
- A Step-Wise Approach for Integrating QoS throughout Software DevelopmentStéphanie Gatti, Emilie Balland, Charles Consel. 217-231 [doi]
- Systematic Development of UMLsec Design Models Based on Security RequirementsDenis Hatebur, Maritta Heisel, Jan Jürjens, Holger Schmidt. 232-246 [doi]
- Theoretical Aspects of Compositional Symbolic ExecutionDries Vanoverberghe, Frank Piessens. 247-261 [doi]
- Testing Container Classes: Random or Systematic?Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser, Darko Marinov. 262-277 [doi]
- Seamless Testing for Models and CodeAndreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith. 278-293 [doi]
- Retrofitting Unit Tests for Parameterized Unit TestingSuresh Thummalapenta, Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux. 294-309 [doi]
- Evolving a Test Oracle in Black-Box TestingFarn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Kai-Hsiang Chang. 310-325 [doi]
- Automated Driver Generation for Analysis of Web ApplicationsOksana Tkachuk, Sreeranga P. Rajan. 326-340 [doi]
- On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual ContractsTamim Ahmed Khan, Reiko Heckel. 341-355 [doi]
- Incremental Clone Detection and Elimination for Erlang ProgramsHuiqing Li, Simon J. Thompson. 356-370 [doi]
- Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure?Bashar Gharaibeh, Hridesh Rajan, J. Morris Chang. 371-385 [doi]
- Flow-Augmented Call Graph: A New Foundation for Taming API ComplexityQirun Zhang, Wujie Zheng, Michael R. Lyu. 386-400 [doi]
- Search-Based Design Defects Detection by ExampleMarouane Kessentini, Houari A. Sahraoui, Mounir Boukadoum, Manuel Wimmer. 401-415 [doi]
- An Empirical Study on Evolution of API DocumentationLin Shi, Hao Zhong, Tao Xie, Mingshu Li. 416-431 [doi]
- An Empirical Study of Long-Lived Code ClonesDongxiang Cai, Miryung Kim. 432-446 [doi]
- Where the Truth Lies: AOP and Its Impact on Software ModularityAdam Przybylek. 447-461 [doi]