ASE 2004

65 papers

1. A Differencing Algorithm for Object-Oriented Programs · Taweesup Apiwattanapong, Alessandro Orso, Mary Jean Harrold
2. A Statistical Model to Locate Faults at Input Level · Ji Wu, Xiao-xia Jia, Chang Liu, Haiyan Yang, Chao Liu, Maozhong Jin
3. Adaptable Concern-Based Framework Specialization in UML · Imed Hammouda, Johannes Koskinen, Mika Pussinen, Mika Katara, Tommi Mikkonen
4. An Architecture for Generating Web-Based, Thin-Client Diagramming Tools · Shuping Cao, John C. Grundy, John G. Hosking, Hermann Stoeckle, Ewan D. Tempero
5. An Environment for Building a System out of its Requirements · Cameron Smith, Kirsten Winter, Ian J. Hayes, R. Geoff Dromey, Peter A. Lindsay, David A. Carrington
6. Analyzing Interaction Orderings with Model Checking · Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser
7. Aspect Mining Using Event Traces · Silvia Breu, Jens Krinke
8. Automated Analysis of Timing Information in UML Diagrams · Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng
9. Automated Data Mapping Specification via Schema Heuristics and User Interaction · Sebastian Bossung, Hermann Stoeckle, John C. Grundy, Robert Amor, John G. Hosking
10. Automated Dynamic Reconfiguration using AI Planning · Naveed Arshad
11. Automated Performance Validation of Software Design: An Industrial Experience · Daniele Compare, Antonio D'Onofrio, Antinisca Di Marco, Paola Inverardi
12. Automated Support for Framework Selection and Customization · Teruyoshi Zenmyo, Takashi Kobayashi, Motoshi Saeki
13. Automatic Method Completion · Rosco Hill, Joe Rideout
14. Automating Traceability for Generated Software Artifacts · Julian Richardson, Jeff Green
15. CHET: A System for Checking Dynamic Specifications · Steven P. Reiss
16. COMPASS: Tool-Supported Adaptation of Interactions · Dirk Heuzeroth
17. Case Study in JML-Based Software Validation · Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet
18. Case Study of Coverage-Checked Random Data Structure Testing · James H. Andrews
19. CodeCrawler - Polymetric Views in Action · Michele Lanza
20. Collaborative Tools for Mobile Requirements Acquisition · Norbert Seyff
21. Combination Model Checking: Approach and a Case Study · Yunja Choi, Mats Per Erik Heimdahl
22. Combining the Box Structure Development Method and CSP · Philippa J. Hopcroft, Guy H. Broadfoot
23. Computational Framework for Supporting Software Inspections · Marcos Kalinowski, Guilherme Horta Travassos
24. Consistency Checking in an Infrastructure for Large-Scale Generative · Axel Rauschmayer, Alexander Knapp, Martin Wirsing
25. Context-Aware Code Certification · Jutta Eusterbrock
26. Data-Mining Synthesised Schedulers for Hard Real-Time Systems · Christos Kloukinas
27. Dataflow Language for Scriptable Debugging · Guillaume Marceau, Gregory H. Cooper, Shriram Krishnamurthi, Steven P. Reiss
28. Decision Support for Test Management in Iterative and Evolutionary Development · Rudolf Ramler
29. Decompositional Verification of Component-based Systems-A Hybrid Approach · Gaoyan Xie
30. Establishment of Automated Regression Testing at ABB: Industrial Experience Report on 'Avoiding the Pitfalls' · Christer Persson, Nur Yilmaztürk
31. Evaluating Clone Detection Techniques from a Refactoring Perspective · Filip Van Rysselberghe, Serge Demeyer
32. Evaluation of Tool Support for Architectural Evolution · Anton Jansen, Jan Bosch
33. Experiences Integrating and Scaling a Performance Test Bed Generator with an Open Source CASE Tool · Yuhong Cai, John C. Grundy, John G. Hosking
34. Formal Framework for Automated Analysis and Verification of Web-Based Applications · May Haydar
35. From Testing to Diagnosis: An Automated Approach · Franck Fleurey, Yves Le Traon, Benoit Baudry
36. Group Support for Distributed Collaborative Concurrent Software Modeling · Naoufel Boulila
37. Helping Object-Oriented Framework Use and Evaluation by means of Historical Use Information · Ricardo Pereira e Silva, Evandro César Freiberger
38. Heuristic Search with Reachability Tests for Automated Generation of Test Programs · Wee Kheng Leow, Siau-Cheng Khoo, Tiong Hoe Loh, Vivy Suhendra
39. ISPIS: A Framework Supporting Software Inspection Processes · Marcos Kalinowski, Guilherme Horta Travassos
40. Inferring Specifications to Detect Errors in Code · Mana Taghdiri
41. Instant and Incremental Transformation of Models · Sven Johann, Alexander Egyed
42. Interactive Visualization of Concurrents Programs · Roberto Capuano
43. Mapping Template Semantics to SMV · Yun Lu, Joanne M. Atlee, Nancy A. Day, Jianwei Niu
44. Modeling Behavior in Compositions of Software Architectural Primitives · Nikunj R. Mehta, Nenad Medvidovic, Marjan Sirjani, Farhad Arbab
45. Modeling Web-Based Dialog Flows for Automatic Dialog Control · Matthias Book, Volker Gruhn
46. Modeling and Simulation of Context-Aware Mobile Systems · Ping Guo, Reiko Heckel
47. On-the-Fly Generation of K-Path Tests for C Functions · Nicky Williams, Bruno Marre, Patricia Mouy
48. Parameterized Interfaces for Open System Verification of Product Lines · Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck
49. Property-Oriented Test Generation from UML Statecharts · Shuhao Li, Ji Wang, Zhi-Chang Qi
50. RCAT: A Performance Analysis Tool · Zakarya A. Alzamil
51. Refactoring Use Case Models on Episodes · Wei Yu, Jun Li, Greg Butler
52. Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus · George Spanoudakis, Khaled Mahbub
53. Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests · Tao Xie, Darko Marinov, David Notkin
54. Scalable Approach to User-Session based Testing of Web Applications through Concept Analysis · Sreedevi Sampath, Valentin Mihaylov, Amie L. Souter, Lori L. Pollock
55. ScriptEase: Generating Scripting Code for Computer Role-Playing Games · Matthew McNaughton, Maria Cutumisu, Duane Szafron, Jonathan Schaeffer, James Redford, Dominique Parker
56. ScriptEase: Generative Design Patterns for Computer Role-Playing Games · Matthew McNaughton, Maria Cutumisu, Duane Szafron, Jonathan Schaeffer, James Redford, Dominique Parker
57. T-UPPAAL: Online Model-based Testing of Real-Time Systems · Marius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen
58. Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing · Mats Per Erik Heimdahl, George Devaraj
59. Understanding Aspects via Implicit Invocation · Jia Xu, Hridesh Rajan, Kevin J. Sullivan
60. Using Transient/Persistent Errors to Develop Automated Test Oracles for Event-Driven Software · Atif M. Memon, Qing Xie
61. Using a Genetic Algorithm and Formal Concept Analysis to Generate Branch Coverage Test Data Automatically · Susan Khor, Peter Grogono
62. Using a Structure-based Configuration Tool for Product Derivation · Lothar Hotz, Thorsten Krebs, Katharina Wolter
63. Validating Personal Requirements by Assisted Symbolic Behavior Browsing · Robert J. Hall, Andrea Zisman
64. Verifiable Concurrent Programming Using Concurrency Controllers · Aysu Betin-Can, Tevfik Bultan
65. Verifying Interactive Web Programs · Daniel R. Licata, Shriram Krishnamurthi