| 2001 | 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA |
| 2001 | A Concurrency Test Tool for Java Monitors. Brad Long, Daniel Hoffman, Paul A. Strooper |
| 2001 | A New Way of Automating Statistical Testing Methods. Sandrine-Dominique Gouraud, Alain Denise, Marie-Claude Gaudel, B. Marr |
| 2001 | A Technique for Mutation of Java Objects. James M. Bieman, Sudipto Ghosh, Roger T. Alexander |
| 2001 | A Tool for Lazy Verification of Security Protocols. Yannick Chevalier, Laurent Vigneron |
| 2001 | A UML Validation Toolset Based on Abstract State Machines. Wuwei Shen, Kevin J. Compton, James Huggins |
| 2001 | AGATE, Access Graph-Based Tools for Handling Encapsulation. Gilles Ardourel, Marianne Huchard |
| 2001 | Action Language Verifier. Tevfik Bultan, Tuba Yavuz-Kahveci |
| 2001 | Adequate Reverse Engineering. Spencer Rugaber, Terry Shikano, Kurt Stirewalt |
| 2001 | Amphion/NAV: Deductive Synthesis of State Estimation Software. Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat |
| 2001 | An Analysis-Revision Cycle to Evolve Requirements Specifications. Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer |
| 2001 | An Automated Tool for Analyzing Petri Nets Using SPIN. Gerald C. Gannod, Sunil Gupta |
| 2001 | Automata-Based Verification of Temporal Properties on Running Programs. Dimitra Giannakopoulou, Klaus Havelund |
| 2001 | Automated Check of Architectural Models Consistency Using SPIN. Paola Inverardi, Henry Muccini, Patrizio Pelliccione |
| 2001 | Automated Conversion from a Requirements Document to an Executable Formal Specification. Beum-Seuk Lee |
| 2001 | Automated Software Engineering Using Concurrent Class Machines. Radu Grosu, Yanhong A. Liu, Scott A. Smolka, Scott D. Stoller, Jingyu Yan |
| 2001 | Automated Test-Data Generation from Formal Models of Software. Sanjai Rayadurgam |
| 2001 | Automated Validation of Software Models. Steve Sims, Rance Cleaveland, Ken Butts, Scott Ranville |
| 2001 | Automatic Test Data Generation for Programs with Integer and Float Variables. Nguyen Tran Sy, Yves Deville |
| 2001 | Automatic Translation from UML Specifications to B. Hung Ledang |
| 2001 | Automatic Verification of Java Design Patterns. Alex Blewitt, Alan Bundy, Ian Stark |
| 2001 | Automatically Restructuring Programs for the We. Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen |
| 2001 | Automating the Performance and Reliability Analysis of Enterprise Information Systems. Apostolos V. Zarras, Valérie Issarny |
| 2001 | Better Reasoning About Software Engineering Activities. Tim Menzies, James D. Kiper |
| 2001 | Certifying Domain-Specific Policies. Michael R. Lowry, Thomas Pressburger, Grigore Rosu |
| 2001 | Combining Static Analysis and Model Checking for Software Analysis. Guillaume P. Brat, Willem Visser |
| 2001 | Composition and Refinement of Behavioral Specifications. Dusko Pavlovic, Douglas R. Smith |
| 2001 | Connectors Synthesis for Deadlock-Free Component-Based Architectures. Paola Inverardi, Simone Scriboni |
| 2001 | Context-Aware Browsing of Large Component Repositories. Yunwen Ye, Gerhard Fischer |
| 2001 | Design Rationale for Software Maintenanc. Janet E. Burge, David C. Brown |
| 2001 | Developing Generative Frameworks Using XML. Iain McLaren, Tony Wicks |
| 2001 | Enforcing Business Policies Through Automated Reconfiguration. Luís Andrade, José Luiz Fiadeiro, Michel Wermelinger |
| 2001 | Enhancing Partial-Order Reduction via Process Clustering. Twan Basten, Dragan Bosnacki |
| 2001 | Exploiting Heap Symmetries in Explicit-State Model Checking of Software. Radu Iosif |
| 2001 | Formally Testing Fail-Safety of Electronic Purse Protocols. Jan Jürjens, Guido Wimmel |
| 2001 | Generating EDI Message Translations from Visual Specifications. John C. Grundy, Rick Mugridge, John G. Hosking, Paul Kendall |
| 2001 | Generation of Distributed System Test-Beds from High-Level Software Architecture Descriptions. John C. Grundy, Yuhong Cai, Anna Liu |
| 2001 | Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study. Bruno Legeard, Fabien Peureux |
| 2001 | Higher Order Function Synthesis Through Proof Planning. Andrew Cook, Andrew Ireland, Greg Michaelson |
| 2001 | Identification of High-Level Concept Clones in Source Code. Andrian Marcus, Jonathan I. Maletic |
| 2001 | Implementation of Specification Conjunction and Domain Interaction in Rosetta. Cindy Kong |
| 2001 | Instantiating and Detecting Design Patterns: Putting Bits and Pieces Together. Hervé Albin-Amiot, Pierre Cointe, Yann-Gaël Guéhéneuc, Narendra Jussien |
| 2001 | Knowledge Base Approach to Consistency Management of UML Specification. Andrea Zisman, Alexander Kozlenkov |
| 2001 | Model Checking for an Executable Subset of UML. Fei Xie, Vladimir Levin, James C. Browne |
| 2001 | Model-Checking Real-Time Concurrent Systems. Ilya Romanovsky |
| 2001 | Modeling Class Operations in B: Application to UML Behavioral Diagrams. Hung Ledang, Jeanine Souquières |
| 2001 | Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ. Kazuhiro Ogata, Kokichi Futatsugi |
| 2001 | Monitoring Programs Using Rewriting. Klaus Havelund, Grigore Rosu |
| 2001 | Program Execution-Based Module Cohesion Measurement. Neelam Gupta, Praveen Rao |
| 2001 | Programs Are Abstract Data Types. Martin Erwig |
| 2001 | Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures. K. Suzanne Barber, Thomas J. Graser, Jim Holt |
| 2001 | Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach. Alexander Egyed |
| 2001 | Security Specification and Verification. Pascal Fenkam |
| 2001 | Semi-Automated Verification of Erlang Code. Lars-Åke Fredlund, Dilian Gurov, Thomas Noll |
| 2001 | Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based Assurance. Colin O'Halloran |
| 2001 | Shared Variables Interaction Diagrams. Rajeev Alur, Radu Grosu |
| 2001 | Specification Modeling and Validation Applied to a Family of Network Security Products. Robert J. Hall |
| 2001 | Static Consistency Checking for Distributed Specifications. Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein |
| 2001 | Strategies for Automated Specification-Based Testing of Synchronous Software. Ioannis Parissis, Jérôme Vassy |
| 2001 | Tailoring a COTS Group Support System for Software Requirements Inspection. Michael Halling, Paul Grünbacher, Stefan Biffl |
| 2001 | Test Purposes: Adapting the Notion of Specification to Testing. Yves Ledru, Lydie du Bousquet, Pierre Bontron, Olivier Maury, Catherine Oriat, Marie-Laure Potet |
| 2001 | TestEra: A Novel Framework for Automated Testing of Java Programs. Darko Marinov, Sarfraz Khurshid |
| 2001 | The Synthesis of a Java Card Tokenization Algorithm. Ewen Denney |
| 2001 | Towards a Precise Definition of the OMG/MDA Framework. Jean Bézivin, Olivier Gerbé |
| 2001 | Towards an Evolutionary Formal Software Development. Dieter Hutter, Axel Schairer |
| 2001 | Tracing Execution of Software for Design Coverage. Raimondas Lencevicius, Edu Metz, Alexander Ran |
| 2001 | Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability. Alexander Egyed, Robert Balzer |
| 2001 | Verify Properties of Mobile Code. Songtao Xia |
| 2001 | Wins and Losses of Algebraic Transformations of Software Architectures. Hoda Fahmy, Richard C. Holt, James R. Cordy |