default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th ASE 2001: San Diego, CA, USA
- 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA. IEEE Computer Society 2001, ISBN 0-7695-1426-X
Regular Papers
Testing I
- Sandrine-Dominique Gouraud, Alain Denise, Marie-Claude Gaudel, B. Marr:
A New Way of Automating Statistical Testing Methods. 5-12 - Nguyen Tran Sy, Yves Deville
:
Automatic Test Data Generation for Programs with Integer and Float Variables. 13-21 - Darko Marinov, Sarfraz Khurshid:
TestEra: A Novel Framework for Automated Testing of Java Programs. 22-
Transformation/Construction I
- John C. Grundy, Rick Mugridge, John G. Hosking, Paul Kendall:
Generating EDI Message Translations from Visual Specifications. 35-42 - Ewen Denney:
The Synthesis of a Java Card Tokenization Algorithm. 43-50 - Hoda Fahmy, Richard C. Holt, James R. Cordy:
Wins and Losses of Algebraic Transformations of Software Architectures. 51-62 - Colin O'Halloran:
Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based Assurance. 63-70 - Robert J. Hall:
Specification Modeling and Validation Applied to a Family of Network Security Products. 71-80 - Michael R. Lowry, Thomas Pressburger, Grigore Rosu:
Certifying Domain-Specific Policies. 81-90 - Steve Sims, Rance Cleaveland, Ken Butts, Scott Ranville:
Automated Validation of Software Models. 91-
Structure
- Yunwen Ye, Gerhard Fischer:
Context-Aware Browsing of Large Component Repositories. 99-106 - Andrian Marcus, Jonathan I. Maletic:
Identification of High-Level Concept Clones in Source Code. 107-114 - Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein:
Static Consistency Checking for Distributed Specifications. 115-
Testing II
- Yves Ledru, Lydie du Bousquet, Pierre Bontron, Olivier Maury, Catherine Oriat, Marie-Laure Potet:
Test Purposes: Adapting the Notion of Specification to Testing. 127-134 - Klaus Havelund, Grigore Rosu:
Monitoring Programs Using Rewriting. 135-143 - Neelam Gupta, Praveen Rao:
Program Execution-Based Module Cohesion Measurement. 144-
Transformation/Construction II
- Dusko Pavlovic, Douglas R. Smith:
Composition and Refinement of Behavioral Specifications. 157-165 - Hervé Albin-Amiot, Pierre Cointe, Yann-Gaël Guéhéneuc, Narendra Jussien:
Instantiating and Detecting Design Patterns: Putting Bits and Pieces Together. 166-173 - Paola Inverardi, Simone Scriboni:
Connectors Synthesis for Deadlock-Free Component-Based Architectures. 174-
Analysis/Real Time
- Kazuhiro Ogata, Kokichi Futatsugi:
Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ. 185-192 - John C. Grundy, Yuhong Cai, Anna Liu:
Generation of Distributed System Test-Beds from High-Level Software Architecture Descriptions. 193-200 - Michael Halling, Paul Grünbacher, Stefan Biffl:
Tailoring a COTS Group Support System for Software Requirements Inspection. 201-
Reverse Engineering and Integration
- Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen:
Automatically Restructuring Programs for the We. 211-222 - Alexander Egyed, Robert Balzer:
Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability. 223-231 - Spencer Rugaber, Terry Shikano, Kurt Stirewalt:
Adequate Reverse Engineering. 232-
Model Checking
- Twan Basten, Dragan Bosnacki:
Enhancing Partial-Order Reduction via Process Clustering. 245-253 - Radu Iosif:
Exploiting Heap Symmetries in Explicit-State Model Checking of Software. 254-261 - Guillaume P. Brat, Willem Visser:
Combining Static Analysis and Model Checking for Software Analysis. 262-
Specification and Model Engineering
- Jean Bézivin, Olivier Gerbé:
Towards a Precise Definition of the OMG/MDA Framework. 273-280 - Rajeev Alur, Radu Grosu:
Shared Variables Interaction Diagrams. 281-288 - Hung Ledang, Jeanine Souquières:
Modeling Class Operations in B: Application to UML Behavioral Diagrams. 289-296 - Radu Grosu, Yanhong A. Liu, Scott A. Smolka, Scott D. Stoller, Jingyu Yan:
Automated Software Engineering Using Concurrent Class Machines. 297-
Short Papers
- Andrew Cook, Andrew Ireland, Greg Michaelson:
Higher Order Function Synthesis Through Proof Planning. 307-310 - Gilles Ardourel, Marianne Huchard:
AGATE, Access Graph-Based Tools for Handling Encapsulation. 311-314 - Wuwei Shen, Kevin J. Compton, James Huggins:
A UML Validation Toolset Based on Abstract State Machines. 315-318 - Lars-Åke Fredlund, Dilian Gurov, Thomas Noll:
Semi-Automated Verification of Erlang Code. 319-323 - Alex Blewitt, Alan Bundy, Ian Stark:
Automatic Verification of Java Design Patterns. 324-327 - Raimondas Lencevicius, Edu Metz, Alexander Ran:
Tracing Execution of Software for Design Coverage. 328-332 - Fei Xie, Vladimir Levin, James C. Browne:
Model Checking for an Executable Subset of UML. 333-336 - James M. Bieman, Sudipto Ghosh, Roger T. Alexander:
A Technique for Mutation of Java Objects. 337-340 - K. Suzanne Barber, Thomas J. Graser, Jim Holt:
Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures. 341-345 - Paola Inverardi, Henry Muccini, Patrizio Pelliccione:
Automated Check of Architectural Models Consistency Using SPIN. 346-349 - Apostolos V. Zarras, Valérie Issarny:
Automating the Performance and Reliability Analysis of Enterprise Information Systems. 350-353 - Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer:
An Analysis-Revision Cycle to Evolve Requirements Specifications. 354-358 - Andrea Zisman, Alexander Kozlenkov:
Knowledge Base Approach to Consistency Management of UML Specification. 359-363 - Ioannis Parissis, Jérôme Vassy:
Strategies for Automated Specification-Based Testing of Synchronous Software. 364-367 - Iain McLaren, Tony Wicks:
Developing Generative Frameworks Using XML. 368-372 - Yannick Chevalier, Laurent Vigneron:
A Tool for Lazy Verification of Security Protocols. 373-376 - Bruno Legeard, Fabien Peureux:
Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study. 377-381 - Tevfik Bultan, Tuba Yavuz-Kahveci:
Action Language Verifier. 382-386 - Alexander Egyed:
Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach. 387-390 - Tim Menzies, James D. Kiper:
Better Reasoning About Software Engineering Activities. 391-394 - Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat:
Amphion/NAV: Deductive Synthesis of State Estimation Software. 395-399 - Martin Erwig:
Programs Are Abstract Data Types. 400-403 - Gerald C. Gannod, Sunil Gupta:
An Automated Tool for Analyzing Petri Nets Using SPIN. 404-407 - Jan Jürjens, Guido Wimmel:
Formally Testing Fail-Safety of Electronic Purse Protocols. 408-411 - Dimitra Giannakopoulou, Klaus Havelund:
Automata-Based Verification of Temporal Properties on Running Programs. 412-416 - Dieter Hutter, Axel Schairer:
Towards an Evolutionary Formal Software Development. 417-420 - Brad Long, Daniel Hoffman, Paul A. Strooper:
A Concurrency Test Tool for Java Monitors. 421-425 - Luís Andrade, José Luiz Fiadeiro, Michel Wermelinger:
Enforcing Business Policies Through Automated Reconfiguration. 426-
Doctoral Symposium Abstracts
- Janet E. Burge, David C. Brown:
Design Rationale for Software Maintenanc. 433 - Pascal Fenkam:
Security Specification and Verification. 434 - Cindy Kong:
Implementation of Specification Conjunction and Domain Interaction in Rosetta. 435 - Hung Ledang:
Automatic Translation from UML Specifications to B. 436 - Beum-Seuk Lee:
Automated Conversion from a Requirements Document to an Executable Formal Specification. 437 - Sanjai Rayadurgam:
Automated Test-Data Generation from Formal Models of Software. 438 - Ilya Romanovsky:
Model-Checking Real-Time Concurrent Systems. 439 - Songtao Xia:
Verify Properties of Mobile Code. 440
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-15 00:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
