소프트웨어 공학 학회의 대표 주자 ICSE 와 FSE의 뒤를 바로 이어주는 ASE (2nd-tier 탑) 2009년도 (https://www.se.auckland.ac.nz/conferences/ase09/index.php) 에 accept된 논문들이 발표 되었습니다. 올해는 short paper를 많이 뽑았고 그리고 Last name "Kim"이 4번이나 등장합니다. 재미있는 제목이 있는지 한번 보세요. 제가 참여 할 예정인데 주의 하여 보겠습니다. (관심을 보여 주시는 논문에 *를 찍어 보았습니다.) 이번에는 노력해서 후기를 올려보겠습니다.)
Paul Gruenbacher, Rick Rabiser, Deepak Dhungana, Martin Lehofer
Alattin: Mining Alternative Patterns for Detecting Neglected Conditions
Suresh Thummalapenta, Tao Xie
Cache-based Model Checking of Networked Applications: From Linear to Branching Time
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Self-repair Through Reconfiguration: A Requirements Engineering Approach
Yiqiao Wang, John Mylopoulos
Inferring Resource Specifications from Natural Language API Documentation
Hao Zhong, Lu Zhang, Tao Xie, Hong Mei
Mining Hierarchical Scenario-Based Specifications
David Lo, Shahar Maoz
* Adaptive Random Test Case Prioritization
Bo Jiang, Zhenyu Zhang, W.k. Chan, T.h. Tse
Explicit Concern-Driven Development in ArchEvol
Eugen C. Nistor, André Van Der Hoek
Optimizing Acceptance Testing of e-ID Systems by Using Requirements Clustering
Baris Güldali, Holger Funke, Michael Jahnich, Stefan Sauer, Gregor Engels
Towards a Comprehensive Test Suite for Detectors of Design Patterns
Krzysztof Stencel, Patrycja Wegrzynowicz
Model Checking of Domain Artifacts in Product Line Engineering
Kim Lauenroth, Simon Toehning, Klaus Pohl
A Divergence-Oriented approach to Adaptive Random Testing of Java programs
Yu Lin, Xucheng Tang, Yuting Chen, Jianjun Zhao
* SMT-Based Bounded Model Checking for Embedded ANSI-C Software
Lucas Cordeiro, Bernd Fischer, Joao Marques-Silva
* Mining temporal specifications from object usage
Andrzej Wasylkowski, Andreas Zeller
Specification and Control of Interface Responses to User Input in Rich Internet Applications
Matthias Book, Tobias Brückmann, Volker Gruhn, Malte Hülder
Task-First or Context-First? Tool Integration Revisited
Walid Maalej
* Improving API Usage through Automatic Detection of Redundant Code
David Kawrykow, Martin P. Robillard
Mining Health Models for Performance Monitoring of Services
Mithun Acharya, Vamshidhar Kommineni
* Automated Test Order Generation for Software Component Integration Testing
Rattikorn Hewett, Phongphun Kijsanayothin
* Evaluating the Accuracy of Fault Localization Techniques
Shaimaa Ali, James H. Andrews, Tamilselvi Dhandapani, Wantao Wang
Inferring Method Effect Summaries for Nested Heap Regions
Mohsen Vakilian, Danny Dig, Robert Bocchino, Jeffrey Overbey, Vikram Adve, Ralph Johnson
Spectrum-based Multiple Fault Localization
Rui Abreu, Peter Zoeteweij, Arjan J.C. Van Gemund
Static Validation of C Preprocessor Macros
Andreas Saebjoernsen, Lingxiao Jiang, Daniel Quinlan, Zhendong Su
Symbolic Deadlock Analysis in Concurrent Libraries and their Clients
Jyotirmoy Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan
* Clone-aware Configuration Management
Tung Nguyen, Hoan Nguyen, Nam Pham, Jafar Al-Kofahi, Tien Nguyen
* A Quantum Algorithm for Software Engineering Search
Robert J. Hall
* ReAssert: Suggesting Repairs for Broken Unit Tests
Brett Daniel, Vilas Jagannath, Danny Dig, Darko Marinov
A Framework for State-Space Exploration of Java-based Actor Programs
Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul Agha
Understanding the Value of Software Engineering Technologies
Phillip Green, Tim Menzies, Steven Williams, Oussama El-Rawas
State-space Coverage Estimation
Ali Taleghani, Joanne M. Atlee
* Automatically Recommending Triage Decisions for Pragmatic Reuse Tasks
Reid Holmes, Tristan Ratchford, Martin P. Robillard, Robert J. Walker
Looper: Lightweight Detection of Infinite Loops at Runtime
Jacob Burnim, Nicholas Jalbert, Christos Stergiou, Koushik Sen
Code Completion From Abbreviated Input
Sangmok Han, David Wallace, Robert Miller
Improving the Efficiency of Dependency Analysis in Logical Decision Models
Sunny Wong, Yuanfang Cai
Design Rule Hierarchy and Task Parallelism
Sunny Wong, Yuanfang Cai, Giuseppe Valetto, Georgi Simeonov, Kanwarpreet Sethi
Efficient Formalism-Independent Monitoring of Parametric Properties
Feng Chen, Patrick Meridith, Dongyun Jin, Grigore Rosu
* Automatic Generation of Object Usage Specifications from Large Method Traces
Michael Pradel, Thomas R. Gross
Type Inference for Soft-Error Fault-Tolerance Prediction
Gustav Munkby, Sibylle Schupp
KyungHee Kim, Tuba Yavuz-Kahveci, Beverly A Sanders
Automatic Generation of Monitors for Probabilistic Timed Property Sequence Charts
Pengcheng Zhang, Lars Grunske, Antony Tang, Bixin Li
Let the ants deploy your software - A hybrid ACO/GA based deployment optimization strategy
Aldeida Aleti, Lars Grunske, Indika Meedeniya, Irene Moser
Using String Distances for Test Case Prioritisation
Yves Ledru, Alexandre Petrenko, Sergiy Boroday
Reggae: Automated Test Generation for Programs using Complex Regular Expressions
Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
A Methodology and Framework to Simplify Usability Analysis of Mobile Applications
Florence Balagtas-Fernandez, Heinrich Hussmann
An IDE-based Solution for Schema Evolution of Object-Oriented Software
Marco Piccioni, Manuel Oriol, Bertrand Meyer, Teseo Schneider
An Open Source-Based Approach to Software Development Infrastructures
Yuhoon Ki, Meongchul Song
EA-Analyzer: Automating Conflict Detection in Aspect-Oriented Requirements
Alberto Sardinha, Ruzanna Chitchyan, Nathan Weston, Phil Greenwood, Awais Rashid
An Automated Passive Testing Approach for the IMS PoC Service
Felipe Lalanne, Stephane Maag, Edgardo Montes de Oca, Ana Cavalli, Wissam Mallouli, Arnaud Gonguet
Automatic Generation of Example Oriented API Documents
Jinhan Kim, Sanghoon Lee, Seung-won Hwang, Sunghun Kim
Towards Automation for Managing Model and Metamodel Inconsistency
Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A.C. Polack
Generating Fixes from Object Behavior Anomalies
Valentin Dallmeier, Andreas Zeller, Bertrand Meyer
Service Substitution Revisited
Dionysis Athanasopoulos, Apostolos Zarras, Valerie Issarny
A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software
Ewen Denney, Bernd Fischer
Representing and Reasoning with Preferences in Requirements Engineering: A Goal-Oriented Approach
Sotirios Liaskos, Sheila McIlraith, John Mylopoulos
Automated Comprehension Tasks in Software Exploration
Sandro Boccuzzo, Harald C. Gall
Pointcut Rejuvenation: Recovering Pointcut Expressions in Evolving Aspect-Oriented Software
Raffi Khatchadourian, Phil Greenwood, Awais Rashid, Guoqing Xu
Applications of Simulation and AI Search: Assessing the Relative Merits of Agile vs Traditional Software Development
Bryan Lemon, Aaron Riesbeck, Tim Menzies, Justin Price, Joe D'Alessandro, Rickard Carlsson, Tomi Prifiti, Fayola Peters,
Huihua Lu, Dan Port
Automating the Implementation of Analysis Concerns in Workflow Applications
Oscar González, Rubby Casallas, Dirk Deridder
Static Typing for Ruby on Rails
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster
Towards Automating Class-Splitting Using Betweenness Clustering
Keith Cassell, Peter Andreae, Lindsay Groves, James Noble
Trace-Replay for Cooperative Regression Testing
Bharathi Seshadri, Amrinder Sandhu, Matt Roper, Ron Olsson, Felix Wu, Venkatesh Prasad Ranganath, Prem Devanbu
Reducing Features to Improve Classification-Based Bug Prediction
Shivkumar Shivaji, E James Whitehead, Ram Akella, Sunghun Kim
Generating Vulnerability Signatures for String Manipulating Programs Using Automata-based Forward and Backward Symbolic Analyses
Fang Yu, Muath Alkhalaf, Tevfik Bultan
Weaving Context-Sensitivity into Test Suite Construction
Huai Wang, W.k Chan
Optimizing a Structural Constraint Solver for Efficient Software Checking
Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid
Automated Debugging Using Data Structure Repair
Muhammad Zubair Malik, Khalid Ghori, Bassem Elkarablieh, Sarfraz Khurshid
Generation of Simulation Views for Domain Specific Modeling Languages based on the Eclipse Modeling Framework
Enrico Biermann, Karsten Ehrig, Claudia Ermel, Jonas Hurrelmann
Using Spectrum-based Fault Localization for Test Case Grouping
Martin Weiglhofer, Gordon Fraser, Franz Wotawa
Cluster-Based I/O-Efficient LTL Model Checking
Jiri Barnat, Lubos Brim, Pavel Simecek
A Linear Programming Approach for Automated Localization of Multiple Faults
Brian C. Dean, William B. Pressly, Brian A. Malloy, Adam A. Whitley
Lost in Translation: Forgetful Semantic Anchoring
Daniel Balasubramanian, Ethan K. Jackson
Steven P. Reiss
Visual Exploration of Software Architecture Documents
Moon Ting Su, Christian Hirsch, John Hosking
phpModeler - a web model extractor
Josip Maras, Maja Štula, Ivica Crnkovia
Generating Software Review Documentation using AutoCert
Ewen Denney, Bernd Fischer
Zoltar: a Toolset for Automatic Fault Localization
Tom Janssen, Rui Abreu, Arjan J.C. Van Gemund
EuRailCheck: Tool Support for Requirements Validation
Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Angelo Susi, Sergio Mover, Marco Pensallorto, Marco Roveri, Stefano Tonetta
Loopfrog: A Static Analyzer for ANSI-C Programs
Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
A Tool Suite for the Generation and Validation of Configurations for Software Availability
Abdelouahed Gherbi, Ali Kanso, Ferhat Khendek, Maria Toeroe, Abdelwahab Hamou-Lhadj
A Tool for Attributed Goal-Oriented Requirements Analysis
Motoshi Saeki, Shinpei Hayashi, Haruhiko Kaiya
Jtop: Managing JUnit Test Cases in Absence of Coverage Information
Lingming Zhang, Ji Zhou, Dan Hao, Lu Zhang, Hong Mei
An Automated Tool for Generating UML Models from Natural Language Requirements
Deva Kumar Deeptimahanti, Ali Babar Muhammad
AOWP: Web-specific AOP framework for PHP
Keiji Hokamura, Ryoto Naruse, Masaru Shiozuka, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai
Full papers:
Model-based Customization and Deployment of Eclipse-Based Tools: Industrial ExperiencesPaul Gruenbacher, Rick Rabiser, Deepak Dhungana, Martin Lehofer
Alattin: Mining Alternative Patterns for Detecting Neglected Conditions
Suresh Thummalapenta, Tao Xie
Cache-based Model Checking of Networked Applications: From Linear to Branching Time
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Self-repair Through Reconfiguration: A Requirements Engineering Approach
Yiqiao Wang, John Mylopoulos
Inferring Resource Specifications from Natural Language API Documentation
Hao Zhong, Lu Zhang, Tao Xie, Hong Mei
Mining Hierarchical Scenario-Based Specifications
David Lo, Shahar Maoz
* Adaptive Random Test Case Prioritization
Bo Jiang, Zhenyu Zhang, W.k. Chan, T.h. Tse
Explicit Concern-Driven Development in ArchEvol
Eugen C. Nistor, André Van Der Hoek
Optimizing Acceptance Testing of e-ID Systems by Using Requirements Clustering
Baris Güldali, Holger Funke, Michael Jahnich, Stefan Sauer, Gregor Engels
Towards a Comprehensive Test Suite for Detectors of Design Patterns
Krzysztof Stencel, Patrycja Wegrzynowicz
Model Checking of Domain Artifacts in Product Line Engineering
Kim Lauenroth, Simon Toehning, Klaus Pohl
A Divergence-Oriented approach to Adaptive Random Testing of Java programs
Yu Lin, Xucheng Tang, Yuting Chen, Jianjun Zhao
* SMT-Based Bounded Model Checking for Embedded ANSI-C Software
Lucas Cordeiro, Bernd Fischer, Joao Marques-Silva
* Mining temporal specifications from object usage
Andrzej Wasylkowski, Andreas Zeller
Specification and Control of Interface Responses to User Input in Rich Internet Applications
Matthias Book, Tobias Brückmann, Volker Gruhn, Malte Hülder
Task-First or Context-First? Tool Integration Revisited
Walid Maalej
* Improving API Usage through Automatic Detection of Redundant Code
David Kawrykow, Martin P. Robillard
Mining Health Models for Performance Monitoring of Services
Mithun Acharya, Vamshidhar Kommineni
* Automated Test Order Generation for Software Component Integration Testing
Rattikorn Hewett, Phongphun Kijsanayothin
* Evaluating the Accuracy of Fault Localization Techniques
Shaimaa Ali, James H. Andrews, Tamilselvi Dhandapani, Wantao Wang
Inferring Method Effect Summaries for Nested Heap Regions
Mohsen Vakilian, Danny Dig, Robert Bocchino, Jeffrey Overbey, Vikram Adve, Ralph Johnson
Spectrum-based Multiple Fault Localization
Rui Abreu, Peter Zoeteweij, Arjan J.C. Van Gemund
Static Validation of C Preprocessor Macros
Andreas Saebjoernsen, Lingxiao Jiang, Daniel Quinlan, Zhendong Su
Symbolic Deadlock Analysis in Concurrent Libraries and their Clients
Jyotirmoy Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan
* Clone-aware Configuration Management
Tung Nguyen, Hoan Nguyen, Nam Pham, Jafar Al-Kofahi, Tien Nguyen
* A Quantum Algorithm for Software Engineering Search
Robert J. Hall
* ReAssert: Suggesting Repairs for Broken Unit Tests
Brett Daniel, Vilas Jagannath, Danny Dig, Darko Marinov
A Framework for State-Space Exploration of Java-based Actor Programs
Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul Agha
Understanding the Value of Software Engineering Technologies
Phillip Green, Tim Menzies, Steven Williams, Oussama El-Rawas
State-space Coverage Estimation
Ali Taleghani, Joanne M. Atlee
* Automatically Recommending Triage Decisions for Pragmatic Reuse Tasks
Reid Holmes, Tristan Ratchford, Martin P. Robillard, Robert J. Walker
Looper: Lightweight Detection of Infinite Loops at Runtime
Jacob Burnim, Nicholas Jalbert, Christos Stergiou, Koushik Sen
Code Completion From Abbreviated Input
Sangmok Han, David Wallace, Robert Miller
Improving the Efficiency of Dependency Analysis in Logical Decision Models
Sunny Wong, Yuanfang Cai
Design Rule Hierarchy and Task Parallelism
Sunny Wong, Yuanfang Cai, Giuseppe Valetto, Georgi Simeonov, Kanwarpreet Sethi
Efficient Formalism-Independent Monitoring of Parametric Properties
Feng Chen, Patrick Meridith, Dongyun Jin, Grigore Rosu
* Automatic Generation of Object Usage Specifications from Large Method Traces
Michael Pradel, Thomas R. Gross
Type Inference for Soft-Error Fault-Tolerance Prediction
Gustav Munkby, Sibylle Schupp
Short papers:
Precise Data Race detection in Relaxed Memory Model using Heuristic based Model CheckingKyungHee Kim, Tuba Yavuz-Kahveci, Beverly A Sanders
Automatic Generation of Monitors for Probabilistic Timed Property Sequence Charts
Pengcheng Zhang, Lars Grunske, Antony Tang, Bixin Li
Let the ants deploy your software - A hybrid ACO/GA based deployment optimization strategy
Aldeida Aleti, Lars Grunske, Indika Meedeniya, Irene Moser
Using String Distances for Test Case Prioritisation
Yves Ledru, Alexandre Petrenko, Sergiy Boroday
Reggae: Automated Test Generation for Programs using Complex Regular Expressions
Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
A Methodology and Framework to Simplify Usability Analysis of Mobile Applications
Florence Balagtas-Fernandez, Heinrich Hussmann
An IDE-based Solution for Schema Evolution of Object-Oriented Software
Marco Piccioni, Manuel Oriol, Bertrand Meyer, Teseo Schneider
An Open Source-Based Approach to Software Development Infrastructures
Yuhoon Ki, Meongchul Song
EA-Analyzer: Automating Conflict Detection in Aspect-Oriented Requirements
Alberto Sardinha, Ruzanna Chitchyan, Nathan Weston, Phil Greenwood, Awais Rashid
An Automated Passive Testing Approach for the IMS PoC Service
Felipe Lalanne, Stephane Maag, Edgardo Montes de Oca, Ana Cavalli, Wissam Mallouli, Arnaud Gonguet
Automatic Generation of Example Oriented API Documents
Jinhan Kim, Sanghoon Lee, Seung-won Hwang, Sunghun Kim
Towards Automation for Managing Model and Metamodel Inconsistency
Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A.C. Polack
Generating Fixes from Object Behavior Anomalies
Valentin Dallmeier, Andreas Zeller, Bertrand Meyer
Service Substitution Revisited
Dionysis Athanasopoulos, Apostolos Zarras, Valerie Issarny
A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software
Ewen Denney, Bernd Fischer
Representing and Reasoning with Preferences in Requirements Engineering: A Goal-Oriented Approach
Sotirios Liaskos, Sheila McIlraith, John Mylopoulos
Automated Comprehension Tasks in Software Exploration
Sandro Boccuzzo, Harald C. Gall
Pointcut Rejuvenation: Recovering Pointcut Expressions in Evolving Aspect-Oriented Software
Raffi Khatchadourian, Phil Greenwood, Awais Rashid, Guoqing Xu
Applications of Simulation and AI Search: Assessing the Relative Merits of Agile vs Traditional Software Development
Bryan Lemon, Aaron Riesbeck, Tim Menzies, Justin Price, Joe D'Alessandro, Rickard Carlsson, Tomi Prifiti, Fayola Peters,
Huihua Lu, Dan Port
Automating the Implementation of Analysis Concerns in Workflow Applications
Oscar González, Rubby Casallas, Dirk Deridder
Static Typing for Ruby on Rails
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster
Towards Automating Class-Splitting Using Betweenness Clustering
Keith Cassell, Peter Andreae, Lindsay Groves, James Noble
Trace-Replay for Cooperative Regression Testing
Bharathi Seshadri, Amrinder Sandhu, Matt Roper, Ron Olsson, Felix Wu, Venkatesh Prasad Ranganath, Prem Devanbu
Reducing Features to Improve Classification-Based Bug Prediction
Shivkumar Shivaji, E James Whitehead, Ram Akella, Sunghun Kim
Generating Vulnerability Signatures for String Manipulating Programs Using Automata-based Forward and Backward Symbolic Analyses
Fang Yu, Muath Alkhalaf, Tevfik Bultan
Weaving Context-Sensitivity into Test Suite Construction
Huai Wang, W.k Chan
Optimizing a Structural Constraint Solver for Efficient Software Checking
Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid
Automated Debugging Using Data Structure Repair
Muhammad Zubair Malik, Khalid Ghori, Bassem Elkarablieh, Sarfraz Khurshid
Generation of Simulation Views for Domain Specific Modeling Languages based on the Eclipse Modeling Framework
Enrico Biermann, Karsten Ehrig, Claudia Ermel, Jonas Hurrelmann
Using Spectrum-based Fault Localization for Test Case Grouping
Martin Weiglhofer, Gordon Fraser, Franz Wotawa
Cluster-Based I/O-Efficient LTL Model Checking
Jiri Barnat, Lubos Brim, Pavel Simecek
A Linear Programming Approach for Automated Localization of Multiple Faults
Brian C. Dean, William B. Pressly, Brian A. Malloy, Adam A. Whitley
Lost in Translation: Forgetful Semantic Anchoring
Daniel Balasubramanian, Ethan K. Jackson
Demo Papers
Involving the User In Code SearchSteven P. Reiss
Visual Exploration of Software Architecture Documents
Moon Ting Su, Christian Hirsch, John Hosking
phpModeler - a web model extractor
Josip Maras, Maja Štula, Ivica Crnkovia
Generating Software Review Documentation using AutoCert
Ewen Denney, Bernd Fischer
Zoltar: a Toolset for Automatic Fault Localization
Tom Janssen, Rui Abreu, Arjan J.C. Van Gemund
EuRailCheck: Tool Support for Requirements Validation
Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Angelo Susi, Sergio Mover, Marco Pensallorto, Marco Roveri, Stefano Tonetta
Loopfrog: A Static Analyzer for ANSI-C Programs
Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
A Tool Suite for the Generation and Validation of Configurations for Software Availability
Abdelouahed Gherbi, Ali Kanso, Ferhat Khendek, Maria Toeroe, Abdelwahab Hamou-Lhadj
A Tool for Attributed Goal-Oriented Requirements Analysis
Motoshi Saeki, Shinpei Hayashi, Haruhiko Kaiya
Jtop: Managing JUnit Test Cases in Absence of Coverage Information
Lingming Zhang, Ji Zhou, Dan Hao, Lu Zhang, Hong Mei
An Automated Tool for Generating UML Models from Natural Language Requirements
Deva Kumar Deeptimahanti, Ali Babar Muhammad
AOWP: Web-specific AOP framework for PHP
Keiji Hokamura, Ryoto Naruse, Masaru Shiozuka, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai
Prev
Rss Feed