default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID24th 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
- Gustav Munkby, Sibylle Schupp:
Type Inference for Soft-Error Fault-Tolerance Prediction. 65-75 - 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 C. 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 - Eugen C. Nistor, André van der Hoek:
Explicit Concern-Driven Development with ArchEvol. 185-196 - 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 - Andrzej Wasylkowski, Andreas Zeller:
Mining Temporal Specifications from Object Usage. 295-306 - Hao Zhong, Lu Zhang, Tao Xie, Hong Mei:
Inferring Resource Specifications from Natural Language API Documentation. 307-318
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 - Sangmok Han, David R. Wallace, Robert C. Miller:
Code Completion from Abbreviated Input. 332-343 - Walid Maalej:
Task-First or Context-First? Tool Integration Revisited. 344-355
Traceability and Monitoring
- David Lo, Shahar Maoz:
Mining Hierarchical Scenario-Based Specifications. 359-370 - 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 - Ali Taleghani, Joanne M. Atlee:
State-Space Coverage Estimation. 459-467 - 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 - Dionysis Athanasopoulos, Apostolos V. Zarras, Valérie Issarny:
Service Substitution Revisited. 555-559 - 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 - Sandro Boccuzzo, Harald C. Gall:
Automated Comprehension Tasks in Software Exploration. 570-574 - Raffi Khatchadourian, Phil Greenwood, Awais Rashid, Guoqing 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, Huihua 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 - Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster:
Static Typing for Ruby on Rails. 590-594 - 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 - Huai Wang, W. K. Chan:
Weaving Context Sensitivity into Test Suite Construction. 610-614 - 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 - Jiri Barnat, Lubos Brim, Pavel Simecek:
Cluster-Based I/O-Efficient LTL Model Checking. 635-639 - 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 - Josip Maras, Maja Stula, Ivica Crnkovic:
phpModeler - A Web Model Extractor. 660-661 - 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
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-12-19 22:18 CET 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:
