Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th ASE 2004: Linz, Austria
- 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria. IEEE Computer Society 2004, ISBN 0-7695-2131-2
Program Analysis
- Taweesup Apiwattanapong, Alessandro Orso, Mary Jean Harrold:
A Differencing Algorithm for Object-Oriented Programs. 2-13 - Christos Kloukinas
:
Data-Mining Synthesised Schedulers for Hard Real-Time Systems. 14-23 - Julian Richardson, Jeff Green:
Automating Traceability for Generated Software Artifacts . 24-33
Tool Support for V&V Activities
- Yuhong Cai, John C. Grundy, John G. Hosking:
Experiences Integrating and Scaling a Performance Test Bed Generator with an Open Source CASE Tool. 36-45 - Marcos Kalinowski, Guilherme Horta Travassos:
Computational Framework for Supporting Software Inspections. 46-55 - Robert J. Hall, Andrea Zisman:
Validating Personal Requirements by Assisted Symbolic Behavior Browsing . 56-66
Architecture and Frameworks
- Teruyoshi Zenmyo, Takashi Kobayashi, Motoshi Saeki:
Automated Support for Framework Selection and Customization. 68-77 - Imed Hammouda, Johannes Koskinen, Mika Pussinen, Mika Katara, Tommi Mikkonen:
Adaptable Concern-Based Framework Specialization in UML. 78-87 - Matthew McNaughton, Maria Cutumisu, Duane Szafron, Jonathan Schaeffer, James Redford, Dominique Parker:
ScriptEase: Generative Design Patterns for Computer Role-Playing Games. 88-99 - Matthias Book, Volker Gruhn:
Modeling Web-Based Dialog Flows for Automatic Dialog Control . 100-109
Testing 1
- Christer Persson, Nur Yilmaztürk:
Establishment of Automated Regression Testing at ABB: Industrial Experience Report on 'Avoiding the Pitfalls'. 112-121 - Shuhao Li, Ji Wang, Zhi-Chang Qi:
Property-Oriented Test Generation from UML Statecharts. 122-131 - Sreedevi Sampath, Valentin Mihaylov, Amie L. Souter, Lori L. Pollock:
Scalable Approach to User-Session based Testing of Web Applications through Concept Analysis. 132-141
Verification of Code
- Mana Taghdiri:
Inferring Specifications to Detect Errors in Code. 144-153 - Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser:
Analyzing Interaction Orderings with Model Checking. 154-163 - Daniel R. Licata, Shriram Krishnamurthi:
Verifying Interactive Web Programs. 164-173
Testing 2
- Mats Per Erik Heimdahl, George Devaraj:
Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing. 176-185 - Atif M. Memon, Qing Xie:
Using Transient/Persistent Errors to Develop Automated Test Oracles for Event-Driven Software. 186-195 - Tao Xie, Darko Marinov, David Notkin:
Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. 196-205
Automated Programmer Assistance
- Sebastian Bossung, Hermann Stoeckle, John C. Grundy, Robert Amor, John G. Hosking:
Automated Data Mapping Specification via Schema Heuristics and User Interaction. 208-217 - Guillaume Marceau, Gregory H. Cooper, Shriram Krishnamurthi, Steven P. Reiss:
Dataflow Language for Scriptable Debugging. 218-227 - Rosco Hill, Joe Rideout:
Automatic Method Completion. 228-235
Modular Verification
- Axel Rauschmayer, Alexander Knapp, Martin Wirsing:
Consistency Checking in an Infrastructure for Large-Scale Generative. 238-247 - Aysu Betin-Can, Tevfik Bultan:
Verifiable Concurrent Programming Using Concurrency Controllers. 248-257 - Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck:
Parameterized Interfaces for Open System Verification of Product Lines. 258-267
Short Papers
- Shuping Cao, John C. Grundy, John G. Hosking, Hermann Stoeckle, Ewan D. Tempero:
An Architecture for Generating Web-Based, Thin-Client Diagramming Tools. 270-273 - Ji Wu, Xiao-xia Jia, Chang Liu, Haiyan Yang, Chao Liu, Maozhong Jin:
A Statistical Model to Locate Faults at Input Level. 274-277 - Ricardo Pereira e Silva, Evandro César Freiberger:
Helping Object-Oriented Framework Use and Evaluation by means of Historical Use Information. 278-281 - Wee Kheng Leow, Siau-Cheng Khoo, Tiong Hoe Loh, Vivy Suhendra:
Heuristic Search with Reachability Tests for Automated Generation of Test Programs. 282-285 - Dirk Heuzeroth:
COMPASS: Tool-Supported Adaptation of Interactions. 286-289 - Nicky Williams, Bruno Marre, Patricia Mouy:
On-the-Fly Generation of K-Path Tests for C Functions. 290-293 - Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet:
Case Study in JML-Based Software Validation. 294-297 - Daniele Compare, Antonio D'Onofrio, Antinisca Di Marco, Paola Inverardi:
Automated Performance Validation of Software Design: An Industrial Experience. 298-301 - Steven P. Reiss:
CHET: A System for Checking Dynamic Specifications. 302-305 - Franck Fleurey, Yves Le Traon, Benoit Baudry:
From Testing to Diagnosis: An Automated Approach. 306-309 - Silvia Breu, Jens Krinke:
Aspect Mining Using Event Traces. 310-315 - James H. Andrews:
Case Study of Coverage-Checked Random Data Structure Testing. 316-319 - Yun Lu, Joanne M. Atlee, Nancy A. Day, Jianwei Niu:
Mapping Template Semantics to SMV. 320-325
Short Papers
- Wei Yu, Jun Li, Greg Butler:
Refactoring Use Case Models on Episodes. 328-331 - Jia Xu, Hridesh Rajan, Kevin J. Sullivan:
Understanding Aspects via Implicit Invocation. 332-335 - Filip Van Rysselberghe, Serge Demeyer:
Evaluating Clone Detection Techniques from a Refactoring Perspective. 336-339 - Philippa J. Hopcroft, Guy H. Broadfoot:
Combining the Box Structure Development Method and CSP. 340-345 - Susan Khor, Peter Grogono:
Using a Genetic Algorithm and Formal Concept Analysis to Generate Branch Coverage Test Data Automatically. 346-349 - Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng:
Automated Analysis of Timing Information in UML Diagrams. 350-353 - Yunja Choi, Mats Per Erik Heimdahl:
Combination Model Checking: Approach and a Case Study. 354-357 - Jutta Eusterbrock:
Context-Aware Code Certification. 358-361 - Sven Johann, Alexander Egyed:
Instant and Incremental Transformation of Models. 362-365 - Zakarya A. Alzamil:
RCAT: A Performance Analysis Tool. 366-370 - Nikunj R. Mehta, Nenad Medvidovic, Marjan Sirjani, Farhad Arbab:
Modeling Behavior in Compositions of Software Architectural Primitives. 371-374 - Anton Jansen, Jan Bosch:
Evaluation of Tool Support for Architectural Evolution. 375-378 - George Spanoudakis, Khaled Mahbub:
Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus. 379-384
Formal Tool Demo Presentations
- Matthew McNaughton, Maria Cutumisu, Duane Szafron, Jonathan Schaeffer, James Redford, Dominique Parker:
ScriptEase: Generating Scripting Code for Computer Role-Playing Games. 386-387 - Lothar Hotz, Thorsten Krebs, Katharina Wolter:
Using a Structure-based Configuration Tool for Product Derivation. 388-391 - Marcos Kalinowski, Guilherme Horta Travassos:
ISPIS: A Framework Supporting Software Inspection Processes. 392-393 - Michele Lanza:
CodeCrawler - Polymetric Views in Action. 394-395 - Marius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen:
T-UPPAAL: Online Model-based Testing of Real-Time Systems. 396-397 - Cameron Smith, Kirsten Winter, Ian J. Hayes, R. Geoff Dromey, Peter A. Lindsay, David A. Carrington:
An Environment for Building a System out of its Requirements. 398-399
Doctoral Symposium
- Naveed Arshad:
Automated Dynamic Reconfiguration using AI Planning. 402-405 - Rudolf Ramler:
Decision Support for Test Management in Iterative and Evolutionary Development. 406-409 - May Haydar:
Formal Framework for Automated Analysis and Verification of Web-Based Applications. 410-413 - Gaoyan Xie:
Decompositional Verification of Component-based Systems-A Hybrid Approach. 414-417 - Roberto Capuano:
Interactive Visualization of Concurrents Programs. 418-421 - Naoufel Boulila:
Group Support for Distributed Collaborative Concurrent Software Modeling. 422-425 - Norbert Seyff:
Collaborative Tools for Mobile Requirements Acquisition. 426-429 - Ping Guo, Reiko Heckel:
Modeling and Simulation of Context-Aware Mobile Systems. 430-433
a service of 
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 2024-08-14 22:03 CEST 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:
