ASE 2001

68 papers

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