Abstract is missing.
- Assumption Generation for Software Component VerificationDimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer. 3-12 [doi]
- An Approach to Rapid Prototyping of Large Multi-Agent SystemsWamberto Weber Vasconcelos, Carles Sierra, Marc Esteva. 13-22 [doi]
- Generative Design PatternsSteve MacDonald, Duane Szafron, Jonathan Schaeffer, John Anvik, Steven Bromling, Kai Tan. 23 [doi]
- Deviation Analysis Through Model CheckingMats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen. 37-46 [doi]
- Automatic Validation of Deployed J2EE Components Using AspectsJohn C. Grundy, Guoliang Ding. 47 [doi]
- On CASE Tool Usage at NokiaAlessandro Maccari, Claudio Riva, Francesco Maccari. 59-68 [doi]
- Experience Report on Automated Procedure Construction for Deductive SynthesisSteve Roach, Jeffrey Van Baalen. 69 [doi]
- Generating Product-Lines of Product-FamiliesDon S. Batory, Roberto E. Lopez-Herrejon, Jean-Philippe Martin. 81-92 [doi]
- Knowledge-Based Synthesis of Numerical Programs for Simulation of Rigid-Body Systems in Physics-Based AnimationThomas Ellman, Ryan Deak, Jason Fotinatos. 93 [doi]
- CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java ApplicationsRobert J. Hall. 107-116 [doi]
- No Java without Caffeine: A Tool for Dynamic Analysis of Java ProgramsYann-Gaël Guéhéneuc, Rémi Douence, Narendra Jussien. 117 [doi]
- Constructing Corba-Supported Oracles for Testing: A Case Study in Automated Software TestingPascal Fenkam, Harald Gall, Mehdi Jazayeri. 129-138 [doi]
- Generating Expected Results for Automated Black-Box TestingPatrick J. Schroeder, Pat Faherty, Bogdan Korel. 139-148 [doi]
- Generating Test Data for Functions with Pointer InputsSrinivas Visvanathan, Neelam Gupta. 149 [doi]
- Automating Requirements Traceability: Beyond the Record & Replay ParadigmAlexander Egyed, Paul Grünbacher. 163-171 [doi]
- Enabling Iterative Software Architecture Derivation Using Early Non-Functional Property EvaluationK. Suzanne Barber, Thomas J. Graser, Jim Holt. 172-182 [doi]
- Model-Based Tests of TruismsTim Menzies, David Raffo, Siri-on Setamanit, Ying Hu, Sina Tootoonia. 183 [doi]
- Interfaces for Modular Feature VerificationHarry C. Li, Shriram Krishnamurthi, Kathi Fisler. 195-204 [doi]
- Automated Validation of Class Invariants in C ++ ApplicationsTanton H. Gibbs, Brian A. Malloy, James F. Power. 205 [doi]
- A Framework for Automatic DebuggingMikhail Auguston, Clinton Jeffery, Scott Underwood. 217-222 [doi]
- Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive SystemsKarsten Loer, Michael D. Harrison. 223-226 [doi]
- Automatic Verification of any Number of Concurrent, Communicating ProcessesMuffy Calder, Alice Miller. 227-230 [doi]
- System Testing for Object-Oriented Frameworks Using Hook TechnologyJehad Al-Dallal, Paul G. Sorenson. 231-236 [doi]
- What Makes Finite-State Models More (or Less) Testable?David Owen, Tim Menzies, Bojan Cukic. 237-240 [doi]
- Analyzing Dependencies in Large Component-Based SystemsMarlon E. R. Vieira, Debra J. Richardson. 241-244 [doi]
- Identifying Cause & Effect Relations between Events in Concurrent Event-Based ComponentsMarcio S. Dias, Debra J. Richardson. 245-248 [doi]
- Systematic Bridging the Gap between Requirements and OO DesignHee Beng Kuan Tan, Weihong Li. 249-252 [doi]
- Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to .NET ComponentBenoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon. 253-256 [doi]
- From Early Requirements to User Interface Prototyping: A Methodological ApproachAlicia Martínez, Hugo Estrada, Juan Sánchez, Oscar Pastor. 257-260 [doi]
- SeDiTeC - Testing Based on Sequence DiagramsFalk Fraikin, Thomas Leonhardt. 261-266 [doi]
- VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML ModelsGyörgy Csertán, Gábor Huszerl, István Majzik, Zsigmond Pap, András Pataricza, Dániel Varró. 267-270 [doi]
- A Temporal Logic Approach to the Specification of Reconfigurable Component-Based SystemsNazareno Aguirre, T. S. E. Maibaum. 271-274 [doi]
- Adding Value to Formal Test OraclesJames H. Andrews, Rui Fu, Vicky D. Liu. 275-248 [doi]
- Dependence Management for Dynamic Reconfiguration of Component-Based Distributed SystemsXuejun Chen. 279-284 [doi]
- Combining and Adapting Software Quality Predictive Models by Genetic AlgorithmsDanielle Azar, Doina Precup, Salah Bouktif, Balázs Kégl, Houari A. Sahraoui. 285-288 [doi]
- Towards Certifying Domain-Specific Properties of Synthesized CodeGrigore Rosu, Jon Whittle. 289-294 [doi]
- Predicting Software Stability Using Case-Based ReasoningDavid Grosser, Houari A. Sahraoui, Petko Valtchev. 295 [doi]
- Report on the Workshop on the State of the Art in Automated Software EngineeringYves Ledru, David F. Redmiles. 307 [doi]
- A Model of Planning and Enactment Support in Complex Software Development ProjectsSigrid Goldmann. 311 [doi]
- Distributed Modular Model CheckingJitka Crhová. 312 [doi]
- Adapting Applications on the FlyAbdelmadjid Ketfi, Noureddine Belkhatir, Pierre-Yves Cunin. 313 [doi]
- Process Support for Tools InteroperabilityAnh-Tuyet Le. 314 [doi]
- Automatic Synthesis of Distributed SystemsAlin Stefanescu. 315 [doi]
- Automatic Inter-Procedural Test Case GenerationKarim-Cyril Griche. 316 [doi]
- Semantic Links and Co-Evolution in Object-Oriented Software DevelopmentRagnhild Van Der Straeten. 317 [doi]