| 2010 | "Fly Me to the Moon": Verification of Aerospace Systems. Dimitra Giannakopoulou |
| 2010 | 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010 José Luiz Fiadeiro, Stefania Gnesi, Andrea Maggiolo-Schettini |
| 2010 | A Formal Model for Work Flows. Christian Leuxner, Wassiou Sitou, Bernd Spanfelner |
| 2010 | A Method for Testing Software Systems Based on State Design Pattern Using Symbolic Execution. Cristina Tudose, Radu Opria |
| 2010 | A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison |
| 2010 | A Timed Model of Circus with the Reactive Design Miracle. Kun Wei, Jim Woodcock, Alan Burns |
| 2010 | A Toolkit for Generating Sentences from Context-Free Grammars. Zhiwu Xu, Lixiao Zheng, Haiming Chen |
| 2010 | Adaptive Software Needs Continuous Verification. Carlo Ghezzi |
| 2010 | Architecture Recovery Using Latent Semantic Indexing and K-Means: An Empirical Evaluation. Giuseppe Scanniello, Michele Risi, Genoveffa Tortora |
| 2010 | Assertion-based Slicing and Slice Graphs. José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto |
| 2010 | Assessing the Quality of B Models. Adrien De Kermadec, Frédéric Dadeau, Fabrice Bouquet |
| 2010 | Back-annotation of Simulation Traces with Change-Driven Model Transformations. Ábel Hegedüs, Gábor Bergmann, István Ráth, Dániel Varró |
| 2010 | Behavior Engineering - A Scalable Modeling and Analysis Method. Daniel Powell |
| 2010 | Behavior Trees: From Systems Engineering to Software Engineering. Peter A. Lindsay |
| 2010 | Combinatorial Testing for VDM. Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle |
| 2010 | Designing Log Architectures for Legal Evidence. Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet |
| 2010 | Integrating Requirements: The Behavior Tree Philosophy. Kirsten Winter, Ian J. Hayes, Robert Colvin |
| 2010 | Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA. Davide Benetti, Massimo Merro, Luca Viganò |
| 2010 | Non-local Choice and Implied Scenarios. Haitao Dan, Robert M. Hierons, Steve Counsell |
| 2010 | Parallel Partial Order Reduction with Topological Sort Proviso. Jiri Barnat, Lubos Brim, Petr Rockai |
| 2010 | Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions. Maximiliano Cristiá, Pablo Albertengo, Pablo Rodríguez Monetti |
| 2010 | Refinement-Friendly Bigraphs and Spygraphs. Michael Goldsmith, Sadie Creese |
| 2010 | SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability. Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi |
| 2010 | Safety Assessment Using Behavior Trees and Model Checking. Peter A. Lindsay, Kirsten Winter, Nisansala Yatapanage |
| 2010 | Static Enforcement of Service Deadlines. Massimo Bartoletti, Roberto Zunino |
| 2010 | Structured Counterexamples for the Temporal Description Logic ALCCTL. Franz Weitl, Shin Nakajima, Burkhard Freitag |
| 2010 | Synthesize It: From Design by Contract to Meaningful Test Input Data. Stefan J. Galler, Martin Weiglhofer, Franz Wotawa |
| 2010 | TART: Timed-Automata to Real-Time Java Tool. Niusha Hakimipour, Paul A. Strooper, Andy J. Wellings |
| 2010 | Testing Web Service Orchestrators in Context: A Symbolic Approach. Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli |
| 2010 | The Unreasonable Ineffectiveness of Security Engineering: An Overview. Dusko Pavlovic |
| 2010 | Time and Data-Aware Analysis of Graphical Service Models in Reo. Natallia Kokash, Christian Krause, Erik P. de Vink |
| 2010 | Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants. Thomas Göthel, Sabine Glesner |
| 2010 | User Queries for Specification Refinement Treating Shared Aspect Join Points. Emilia Katz, Shmuel Katz |
| 2010 | Verification of Dynamic Data Tree with mu-calculus Extended with Separation. María-del-Mar Gallardo, David Sanán |
| 2010 | temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties. Faraz Hussain, Gary T. Leavens |