Table of Contents

• A New Way of Automating Statistical Testing MethodsSandrine-Dominique Gouraud, Alain Denise, Marie-Claude Gaudel, B. Marr. 5-12 [doi]
• Automatic Test Data Generation for Programs with Integer and Float VariablesNguyen Tran Sy, Yves Deville. 13-21 [doi]
• TestEra: A Novel Framework for Automated Testing of Java ProgramsDarko Marinov, Sarfraz Khurshid. 22 [doi]
• Generating EDI Message Translations from Visual SpecificationsJohn C. Grundy, Rick Mugridge, John G. Hosking, Paul Kendall. 35-42 [doi]
• The Synthesis of a Java Card Tokenization AlgorithmEwen Denney. 43-50 [doi]
• Wins and Losses of Algebraic Transformations of Software ArchitecturesHoda Fahmy, Richard C. Holt, James R. Cordy. 51-62 [doi]
• Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based AssuranceColin O Halloran. 63-70 [doi]
• Specification Modeling and Validation Applied to a Family of Network Security ProductsRobert J. Hall. 71-80 [doi]
• Certifying Domain-Specific PoliciesMichael R. Lowry, Thomas Pressburger, Grigore Rosu. 81-90 [doi]
• Automated Validation of Software ModelsSteve Sims, Rance Cleaveland, Ken Butts, Scott Ranville. 91 [doi]
• Context-Aware Browsing of Large Component RepositoriesYunwen Ye, Gerhard Fischer. 99-106 [doi]
• Identification of High-Level Concept Clones in Source CodeAndrian Marcus, Jonathan I. Maletic. 107-114 [doi]
• Static Consistency Checking for Distributed SpecificationsChristian Nentwich, Wolfgang Emmerich, Anthony Finkelstein. 115 [doi]
• Test Purposes: Adapting the Notion of Specification to TestingYves Ledru, Lydie du Bousquet, Pierre Bontron, Olivier Maury, Catherine Oriat, Marie-Laure Potet. 127-134 [doi]
• Monitoring Programs Using RewritingKlaus Havelund, Grigore Rosu. 135-143 [doi]
• Program Execution-Based Module Cohesion MeasurementNeelam Gupta, Praveen Rao. 144 [doi]
• Composition and Refinement of Behavioral SpecificationsDusko Pavlovic, Douglas R. Smith. 157-165 [doi]
• Instantiating and Detecting Design Patterns: Putting Bits and Pieces TogetherHervé Albin-Amiot, Pierre Cointe, Yann-Gaël Guéhéneuc, Narendra Jussien. 166-173 [doi]
• Connectors Synthesis for Deadlock-Free Component-Based ArchitecturesPaola Inverardi, Simone Scriboni. 174 [doi]
• Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJKazuhiro Ogata, Kokichi Futatsugi. 185-192 [doi]
• Generation of Distributed System Test-Beds from High-Level Software Architecture DescriptionsJohn C. Grundy, Yuhong Cai, Anna Liu. 193-200 [doi]
• Tailoring a COTS Group Support System for Software Requirements InspectionMichael Halling, Paul Grünbacher, Stefan Biffl. 201 [doi]
• Automatically Restructuring Programs for the WePaul T. Graunke, Robby Findler, Shriram Krishnamurthi, Matthias Felleisen. 211-222 [doi]
• Unfriendly COTS Integration-Instrumentation and Interfaces for Improved PlugabilityAlexander Egyed, Robert Balzer. 223-231 [doi]
• Adequate Reverse EngineeringSpencer Rugaber, Terry Shikano, Kurt Stirewalt. 232 [doi]
• Enhancing Partial-Order Reduction via Process ClusteringTwan Basten, Dragan Bosnacki. 245-253 [doi]
• Exploiting Heap Symmetries in Explicit-State Model Checking of SoftwareRadu Iosif. 254-261 [doi]
• Combining Static Analysis and Model Checking for Software AnalysisGuillaume P. Brat, Willem Visser. 262 [doi]
• Towards a Precise Definition of the OMG/MDA FrameworkJean Bézivin, Olivier Gerbé. 273-280 [doi]
• Shared Variables Interaction DiagramsRajeev Alur, Radu Grosu. 281-288 [doi]
• Modeling Class Operations in B: Application to UML Behavioral DiagramsHung Ledang, Jeanine Souquières. 289-296 [doi]
• Automated Software Engineering Using Concurrent Class MachinesRadu Grosu, Yanhong A. Liu, Scott A. Smolka, Scott D. Stoller, Jingyu Yan. 297 [doi]
• Higher Order Function Synthesis Through Proof PlanningAndrew Cook, Andrew Ireland, Greg Michaelson. 307-310 [doi]
• AGATE, Access Graph-Based Tools for Handling EncapsulationGilles Ardourel, Marianne Huchard. 311-314 [doi]
• A UML Validation Toolset Based on Abstract State MachinesWuwei Shen, Kevin J. Compton, James Huggins. 315-318 [doi]
• Semi-Automated Verification of Erlang CodeLars-Åke Fredlund, Dilian Gurov, Thomas Noll. 319-323 [doi]
• Automatic Verification of Java Design PatternsAlex Blewitt, Alan Bundy, Ian Stark. 324-327 [doi]
• Tracing Execution of Software for Design CoverageRaimondas Lencevicius, Edu Metz, Alexander Ran. 328-332 [doi]
• Model Checking for an Executable Subset of UMLFei Xie, Vladimir Levin, James C. Browne. 333-336 [doi]
• A Technique for Mutation of Java ObjectsJames M. Bieman, Sudipto Ghosh, Roger T. Alexander. 337-340 [doi]
• Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software ArchitecturesK. Suzanne Barber, Thomas J. Graser, Jim Holt. 341-345 [doi]
• Automated Check of Architectural Models Consistency Using SPINPaola Inverardi, Henry Muccini, Patrizio Pelliccione. 346-349 [doi]
• Automating the Performance and Reliability Analysis of Enterprise Information SystemsApostolos Zarras, Valérie Issarny. 350-353 [doi]
• An Analysis-Revision Cycle to Evolve Requirements SpecificationsArtur S. d Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer. 354-358 [doi]
• Knowledge Base Approach to Consistency Management of UML SpecificationAndrea Zisman, Alexander Kozlenkov. 359-363 [doi]
• Strategies for Automated Specification-Based Testing of Synchronous SoftwareIoannis Parissis, Jérôme Vassy. 364-367 [doi]
• Developing Generative Frameworks Using XMLIain McLaren, Tony Wicks. 368-372 [doi]
• A Tool for Lazy Verification of Security ProtocolsYannick Chevalier, Laurent Vigneron. 373-376 [doi]
• Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case StudyBruno Legeard, Fabien Peureux. 377-381 [doi]
• Action Language VerifierTevfik Bultan, Tuba Yavuz-Kahveci. 382-386 [doi]
• Scalable Consistency Checking Between Diagrams-The ViewIntegra ApproachAlexander Egyed. 387-390 [doi]
• Better Reasoning About Software Engineering ActivitiesTim Menzies, James D. Kiper. 391-394 [doi]
• Amphion/NAV: Deductive Synthesis of State Estimation SoftwareJon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat. 395-399 [doi]
• Programs Are Abstract Data TypesMartin Erwig. 400-403 [doi]
• An Automated Tool for Analyzing Petri Nets Using SPINGerald C. Gannod, Sunil Gupta. 404-407 [doi]
• Formally Testing Fail-Safety of Electronic Purse ProtocolsJan Jürjens, Guido Wimmel. 408-411 [doi]
• Automata-Based Verification of Temporal Properties on Running ProgramsDimitra Giannakopoulou, Klaus Havelund. 412-416 [doi]
• Towards an Evolutionary Formal Software DevelopmentDieter Hutter, Axel Schairer. 417-420 [doi]
• A Concurrency Test Tool for Java MonitorsBrad Long, Daniel Hoffman, Paul A. Strooper. 421-425 [doi]
• Enforcing Business Policies Through Automated ReconfigurationLuis Filipe Andrade, José Luiz Fiadeiro, Michel Wermelinger. 426 [doi]
• Design Rationale for Software MaintenancJanet E. Burge, David C. Brown. 433 [doi]
• Security Specification and VerificationPascal Fenkam. 434 [doi]
• Implementation of Specification Conjunction and Domain Interaction in RosettaCindy Kong. 435 [doi]
• Automatic Translation from UML Specifications to BHung Ledang. 436 [doi]
• Automated Conversion from a Requirements Document to an Executable Formal SpecificationBeum-Seuk Lee. 437 [doi]
• Automated Test-Data Generation from Formal Models of SoftwareSanjai Rayadurgam. 438 [doi]
• Model-Checking Real-Time Concurrent SystemsIlya Romanovsky. 439 [doi]
• Verify Properties of Mobile CodeSongtao Xia. 440 [doi]