24. ASE 2009: Auckland, New Zealand
ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009. IEEE Computer Society 2009 ISBN 978-0-7695-3891-4
Keynote Speakers
- Manuel Wimmer, Gerti Kappel, Johannes Schönböck, Angelika Kusel, Werner Retschitzegger, Wieland Schwinger: A Petri Net Based Debugging Environment for QVT Relations. 3-14
- Arnab Ray, Iris Morschhaeuser, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin: Validating Automotive Control Software Using Instrumentation-Based Verification. 15-25
Requirements
- Baris Güldali, Holger Funke, Michael Jahnich, Stefan Sauer, Gregor Engels: Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering. 29-39
- Robert J. Hall: A Quantum Algorithm for Software Engineering Search. 40-51
- Phillip Green II, Tim Menzies, Steve Williams, Oussama El-Rawas: Understanding the Value of Software Engineering Technologies. 52-61
Defect Detection - 1
- Shaimaa Ali, James H. Andrews, Tamilselvi Dhandapani, Wantao Wang: Evaluating the Accuracy of Fault Localization Techniques. 76-87
- Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund: Spectrum-Based Multiple Fault Localization. 88-99
Maintenance and Evolution - 1
- Patrycja Wegrzynowicz, Krzysztof Stencel: Towards a Comprehensive Test Suite for Detectors of Design Patterns. 103-110
- David Kawrykow, Martin P. Robillard: Improving API Usage through Automatic Detection of Redundant Code. 111-122
- Tung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. Nguyen: Clone-Aware Configuration Management. 123-134
Verification - 1
- Lucas Cordeiro, Bernd Fischer, João Marques-Silva: SMT-Based Bounded Model Checking for Embedded ANSI-C Software. 137-148
- Andreas Saebjoernsen, Lingxiao Jiang, Daniel J. Quinlan, Zhendong Su: Static Validation of C Preprocessor Macros. 149-160
- Jacob Burnim, Nicholas Jalbert, Christos Stergiou, Koushik Sen: Looper: Lightweight Detection of Infinite Loops at Runtime. 161-169
Software Architecture and Design
- Sunny Wong, Yuanfang Cai: Improving the Efficiency of Dependency Analysis in Logical Decision Models. 173-184
- Sunny Wong, Yuanfang Cai, Giuseppe Valetto, Georgi Simeonov, Kanwarpreet Sethi: Design Rule Hierarchies and Parallelism in Software Development Tasks. 197-208
Testing
- Rattikorn Hewett, Phongphun Kijsanayothin: Automated Test Order Generation for Software Component Integration Testing. 211-220
- Yu Lin, Xucheng Tang, Yuting Chen, Jianjun Zhao: A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs. 221-232
- Bo Jiang, Zhenyu Zhang, Wing Kwong Chan, T. H. Tse: Adaptive Random Test Case Prioritization. 233-244
Variability
- Paul Grünbacher, Rick Rabiser, Deepak Dhungana, Martin Lehofer: Model-Based Customization and Deployment of Eclipse-Based Tools: Industrial Experiences. 247-256
- Yiqiao Wang, John Mylopoulos: Self-Repair through Reconfiguration: A Requirements Engineering Approach. 257-268
- Kim Lauenroth, Klaus Pohl, Simon Toehning: Model Checking of Domain Artifacts in Product Line Engineering. 269-280
Defect Detection- 2
- Suresh Thummalapenta, Tao Xie: Alattin: Mining Alternative Patterns for Detecting Neglected Conditions. 283-294
Human Computer Interaction and Computer Supported Cooperative Work
- Matthias Book, Tobias Brückmann, Volker Gruhn, Malte Hülder: Specification and Control of Interface Responses to User Input in Rich Internet Applications. 321-331
- Walid Maalej: Task-First or Context-First? Tool Integration Revisited. 344-355
Traceability and Monitoring
- Michael Pradel, Thomas R. Gross: Automatic Generation of Object Usage Specifications from Large Method Traces. 371-382
- Feng Chen, Patrick O'Neil Meredith, Dongyun Jin, Grigore Rosu: Efficient Formalism-Independent Monitoring of Parametric Properties. 383-394
Maintenance and Evolution - 2
- Reid Holmes, Tristan Ratchford, Martin P. Robillard, Robert J. Walker: Automatically Recommending Triage Decisions for Pragmatic Reuse Tasks. 397-408
- Mithun Acharya, Vamshidhar Kommineni: Mining Health Models for Performance Monitoring of Services. 409-420
- Mohsen Vakilian, Danny Dig, Robert L. Bocchino Jr., Jeffrey Overbey, Vikram S. Adve, Ralph E. Johnson: Inferring Method Effect Summaries for Nested Heap Regions. 421-432
- Brett Daniel, Vilas Jagannath, Danny Dig, Darko Marinov: ReAssert: Suggesting Repairs for Broken Unit Tests. 433-444
Verification - 2
- Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto: Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. 447-458
- Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul A. Agha: A Framework for State-Space Exploration of Java-Based Actor Programs. 468-479
- Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan: Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients. 480-491
Short Papers
- KyungHee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders: Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking. 495-499
- Pengcheng Zhang, Lars Grunske, Antony Tang, Bixin Li: A Formal Syntax for Probabilistic Timed Property Sequence Charts. 500-504
- Aldeida Aleti, Lars Grunske, Indika Meedeniya, Irene Moser: Let the Ants Deploy Your Software - An ACO Based Deployment Optimisation Strategy. 505-509
- Yves Ledru, Alexandre Petrenko, Sergiy Boroday: Using String Distances for Test Case Prioritisation. 510-514
- Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. 515-519
- Florence T. Balagtas-Fernandez, Heinrich Hussmann: A Methodology and Framework to Simplify Usability Analysis of Mobile Applications. 520-524
- Yuhoon Ki, Meongchul Song: An Open Source-Based Approach to Software Development Infrastructures. 525-529
- Alberto Sardinha, Ruzanna Chitchyan, Nathan Weston, Phil Greenwood, Awais Rashid: EA-Analyzer: Automating Conflict Detection in Aspect-Oriented Requirements. 530-534
- Felipe Lalanne, Stéphane Maag, Edgardo Montes de Oca, Ana R. Cavalli, Wissam Mallouli, Arnaud Gonguet: An Automated Passive Testing Approach for the IMS PoC Service. 535-539
- Jinhan Kim, Sanghoon Lee, Seung-won Hwang, Sunghun Kim: Adding Examples into Java Documents. 540-544
- Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack: Enhanced Automation for Managing Model and Metamodel Inconsistency. 545-549
- Valentin Dallmeier, Andreas Zeller, Bertrand Meyer: Generating Fixes from Object Behavior Anomalies. 550-554
- Ewen Denney, Bernd Fischer: A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software. 560-564
- Sotirios Liaskos, Sheila A. McIlraith, John Mylopoulos: Towards Augmenting Requirements Models with Preferences. 565-569
- Raffi Khatchadourian, Phil Greenwood, Awais Rashid, Guoqing (Harry) Xu: Pointcut Rejuvenation: Recovering Pointcut Expressions in Evolving Aspect-Oriented Software. 575-579
- Bryan Lemon, Aaron Riesbeck, Tim Menzies, Justin Price, Joseph D'Alessandro, Rikard Carlsson, Tomi Prifiti, Fayola Peters, Hiuhua Lu, Daniel Port: Applications of Simulation and AI Search: Assessing the Relative Merits of Agile vs Traditional Software Development. 580-584
- Oscar González, Rubby Casallas, Dirk Deridder: Automating the Implementation of Analysis Concerns in Workflow Applications. 585-589
- Keith Cassell, Peter Andreae, Lindsay Groves, James Noble: Towards Automating Class-Splitting Using Betweenness Clustering. 595-599
- Shivkumar Shivaji, E. James Whitehead Jr., Ram Akella, Sunghun Kim: Reducing Features to Improve Bug Prediction. 600-604
- Fang Yu, Muath Alkhalaf, Tevfik Bultan: Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses. 605-609
- Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid: Optimizing a Structural Constraint Solver for Efficient Software Checking. 615-619
- Muhammad Zubair Malik, Khalid Ghori, Bassem Elkarablieh, Sarfraz Khurshid: A Case for Automated Debugging Using Data Structure Repair. 620-624
- Enrico Biermann, Karsten Ehrig, Claudia Ermel, Jonas Hurrelmann: Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling Framework. 625-629
- Martin Weiglhofer, Gordon Fraser, Franz Wotawa: Using Spectrum-Based Fault Localization for Test Case Grouping. 630-634
- Brian C. Dean, William B. Pressly, Brian A. Malloy, Adam A. Whitley: A Linear Programming Approach for Automated Localization of Multiple Faults. 640-644
- Daniel Balasubramanian, Ethan K. Jackson: Lost in Translation: Forgetful Semantic Anchoring. 645-649
- Marco Piccioni, Manuel Oriol, Bertrand Meyer, Teseo Schneider: An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software. 650-654
Tool Demonstration Papers
- Moon Ting Su, Christian Hirsch, John G. Hosking: KaitoroBase: Visual Exploration of Software Architecture Documents. 657-659
- Tom Janssen, Rui Abreu, Arjan J. C. van Gemund: Zoltar: A Toolset for Automatic Fault Localization. 662-664
- Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta: Supporting Requirements Validation: The EuRailCheck Tool. 665-667
- Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger: Loopfrog: A Static Analyzer for ANSI-C Programs. 668-670
- Abdelouahed Gherbi, Ali Kanso, Ferhat Khendek, Abdelwahab Hamou-Lhadj, Maria Toeroe: A Tool Suite for the Generation and Validation of Configurations for Software Availability. 671-673
- Motoshi Saeki, Shinpei Hayashi, Haruhiko Kaiya: A Tool for Attributed Goal-Oriented Requirements Analysis. 674-676
- Lingming Zhang, Ji Zhou, Dan Hao, Lu Zhang, Hong Mei: Jtop: Managing JUnit Test Cases in Absence of Coverage Information. 677-679
- Deva Kumar Deeptimahanti, Muhammad Ali Babar: An Automated Tool for Generating UML Models from Natural Language Requirements. 680-682
- Keiji Hokamura, Ryoto Naruse, Masaru Shiozuka, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai: AOWP: Web-Specific AOP Framework for PHP. 683-685
Doctoral Symposium Papers
- Jevon M. Wright: A Modelling Language for Interactive Web Applications. 689-692
- Massila Kamalrudin: Automated Software Tool Support for Checking the Inconsistency of Requirements. 693-697
- Andrew John Dennis Meads: A Holistic Approach to Mobile Service Provisioning. 698-702
- Jose Romero-Mariona: Secure and Usable Requirements Engineering. 703-706
- M. Shaban Jokhio: Goal-Based Testing of Semantic Web Services. 707-711
- Dipankar Majumdar: Migration from Procedural Programming to Aspect Oriented Paradigm. 712-715
- Graham Jenson: Improving Component Dependency Resolution with Soft Constraints, Validation and Verification. 716-720
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team