25. ASE 2010:
Antwerp,
Belgium
Charles Pecheur, Jamie Andrews, Elisabetta Di Nitto (Eds.):
ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010.
ACM 2010, ISBN 978-1-4503-0116-9 
- Jan Bosch:
Keynote address: toward compositional software engineering.
1-2
Design and architecture
Natural language processing and generation
Architecture and product lines
- Michael Vierhauser, Paul Grünbacher, Alexander Egyed, Rick Rabiser, Wolfgang Heider:
Flexible and scalable consistency checking on product line variability models.
63-72
- Thorsten Berger, Steven She, Rafael Lotufo, Andrzej Wasowski, Krzysztof Czarnecki:
Variability modeling in the real: a perspective from the operating systems domain.
73-82
- Deshan Cooray, Sam Malek, Roshanak Roshandel, David Kilgore:
RESISTing reliability degradation through proactive reconfiguration.
83-92
Bug finding
Poster session I
- Heiko Paulheim:
Seamlessly integrated, but loosely coupled: building user interfaces from heterogeneous components.
123-126
- Suntae Kim, Dae-Kyoo Kim, Sooyong Park:
Tool support for quality-driven development of software architectures.
127-130
- Kunal Taneja, Nuo Li, Madhuri R. Marri, Tao Xie, Nikolai Tillmann:
MiTV: multiple-implementation testing of user-input validators for web applications.
131-134
- Zhenchang Xing:
Model comparison with GenericDiff.
135-138
- Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid:
Eliminating products to test in a software product line.
139-142
- Reiner Hähnle, Marcus Baum, Richard Bubel, Marcel Rothe:
A visual interactive debugger based on symbolic execution.
143-146
- Óscar Sánchez Ramón, Jesús Sánchez Cuadrado, Jesús García Molina:
Model-driven reverse engineering of legacy graphical user interfaces.
147-150
- Gabriele Bavota, Andrea De Lucia, Andrian Marcus, Rocco Oliveto:
A two-step technique for extract class refactoring.
151-154
- Wanchun Li, Mary Jean Harrold, Carsten Görg:
Detecting user-visible failures in AJAX web applications by analyzing users' interaction behaviors.
155-158
- Hamid Bagheri, Yuanyuan Song, Kevin J. Sullivan:
Architectural style as an independent variable.
159-162
- LiGuo Huang, Daniel Port, Liang Wang, Tao Xie, Tim Menzies:
Text mining in supporting software systems risk assurance.
163-166
Formal demos I
- Benjamin Biegel, Stephan Diehl:
JCCD: a flexible and extensible API for implementing custom code clone detectors.
167-168
- Eduardo Cunha de Almeida, João Eugenio Marynowski, Gerson Sunyé, Patrick Valduriez:
PeerUnit: a framework for testing peer-to-peer systems.
169-170
- Rémi Mélisson, Philippe Merle, Daniel Romero, Romain Rouvoy, Lionel Seinturier:
Reconfigurable run-time support for distributed service component architectures.
171-172
- Hugo Bruneliere, Jordi Cabot, Frédéric Jouault, Frédéric Madiot:
MoDisco: a generic and extensible framework for model driven reverse engineering.
173-174
- Moritz Balz, Michael Striewe, Michael Goedicke:
Tool support for continuous maintenance of state machine models in program code.
175-176
- Cameron M. Hine, Jean-Guy Schneider, Steven Versteeg:
Reac2o: a runtime for enterprise system models.
177-178
- Corina S. Pasareanu, Neha Rungta:
Symbolic PathFinder: symbolic execution of Java bytecode.
179-180
- Raffi Khatchadourian, Benjamin Muskalla:
Enumeration refactoring: a tool for automatically converting Java constants to enumerated types.
181-182
- Cordell Green:
Keynote address: the actual implementation will be derived from the formal specification -- KBSA, 1983.
183-184
Model-driven development
- Asadullah Shaikh, Robert Clarisó, Uffe Kock Wiil, Nasrullah Memon:
Verification-driven slicing of UML/OCL models.
185-194
- Senthil Mani, Vibha Singhal Sinha, Pankaj Dhoolia, Saurabh Sinha:
Automated support for repairing input-model faults.
195-204
- Brice Morin, Tejeddine Mouelhi, Franck Fleurey, Yves Le Traon, Olivier Barais, Jean-Marc Jézéquel:
Security-driven model-based dynamic adaptation.
205-214
Model checking
Requirements
Mining software repositories
Poster session II
- Xuanzhe Liu, Qi Zhao, Gang Huang, Zhi Jin, Hong Mei:
iMashup: assisting end-user programming for the service-oriented web.
285-288
- Kunal Taneja, Yi Zhang, Tao Xie:
MODA: automated test generation for database applications via mock objects.
289-292
- Wujie Zheng, Qirun Zhang, Michael R. Lyu, Tao Xie:
Random unit-test generation with MUT-aware sequence recommendation.
293-296
- Norhayati Mohd. Ali, John G. Hosking, John C. Grundy, Jun Huh:
End-user oriented critic specification for domain-specific visual language tools.
297-300
- Do Thi Bich Ngoc, Mizuhito Ogawa:
Checking roundoff errors using counterexample-guided narrowing.
301-304
- Rich Hilliard, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione:
Realizing architecture frameworks through megamodelling techniques.
305-308
- Mircea Lungu, Romain Robbes, Michele Lanza:
Recovering inter-project dependencies in software ecosystems.
309-312
- Eric Schulte, Stephanie Forrest, Westley Weimer:
Automated program repair through the evolution of assembly code.
313-316
- Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb:
Integrating model verification and self-adaptation.
317-320
- Ekrem Kocaguneli, Gregory Gay, Tim Menzies, Ye Yang, Jacky W. Keung:
When to use data from other projects for effort estimation.
321-324
- David Woollard, Chris Mattmann, Daniel Popescu, Nenad Medvidovic:
Kadre: domain-specific architectural recovery for scientific software systems.
325-328
- Shadi Abdul Khalek, Sarfraz Khurshid:
Automated SQL query generation for systematic testing of database engines.
329-332
- Quentin Boucher, Andreas Classen, Patrick Heymans, Arnaud Bourdoux, Laurent Demonceau:
Tag and prune: a pragmatic approach to software product line implementation.
333-336
- Pongtip Aroonvatanaporn, Chatchai Sinthop, Barry W. Boehm:
Reducing estimation uncertainty with continuous assessment: tracking the "cone of uncertainty".
337-340
- Sukanya Ratanotayanon, Hye Jung Choi, Susan Elliott Sim:
Using transitive changesets to support feature location.
341-344
Formal demos II
- Jocelyn Simmonds, Marsha Chechik:
RuMoR: monitoring and recovery for BPEL applications.
345-346
- Alexander Reder, Alexander Egyed:
Model/analyzer: a tool for detecting, visualizing and fixing design errors in UML.
347-348
- A. C. Rajeev, Prahladavaradan Sampath, K. C. Shashidhar, S. Ramesh:
CoGenTe: a tool for code generator testing.
349-350
- Willem Visser, Jaco Geldenhuys:
Impendulo: debugging the programmer.
351-352
- Zhenchang Xing, Jun Sun, Yang Liu, Jin Song Dong:
SpecDiff: debugging formal specifications.
353-354
- Gregor Gabrysiak, Holger Giese, Andreas Seibel:
Deriving behavior of multi-user processes from interactive requirements validation.
355-356
- Lionel Montrieux, Jan Jürjens, Charles B. Haley, Yijun Yu, Pierre-Yves Schobbens, Hubert Toussaint:
Tool support for code generation from a UMLsec property.
357-358
- David Harel, Shahar Maoz, Smadar Szekely, Daniel Barkan:
PlayGo: towards a comprehensive tool for scenario based programming.
359-360
- Dinko Ivanov, Marin Orlic, Cristina Cerschi Seceleanu, Aneta Vulgarakis:
REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems.
361-362
- Alexander Nöhrer, Alexander Egyed:
C2O: a tool for guided decision-making.
363-364
- Axel van Lamsweerde:
Keynote address: model engineering for model-driven engineering.
365-366
Specification and verification
Testing and debugging
Reuse and component-based development
Software evolution
- Xiaoyin Wang, David Lo, Jiefeng Cheng, Lu Zhang, Hong Mei, Jeffrey Xu Yu:
Matching dependence-related queries in the system dependence graph.
457-466
- Hossein Tajalli, Joshua Garcia, George Edwards, Nenad Medvidovic:
PLASMA: a plan-based layered architecture for software model-driven adaptation.
467-476
- Adam Duley, Chris Spandikow, Miryung Kim:
A program differencing algorithm for verilog HDL.
477-486
Doctoral symposium
- Casandra Holotescu:
Error-avoiding adaptors for black-box software components.
487-492
- Michael Becker, Volker Gruhn:
Automated model grouping.
493-498
- Mihai Balint:
Automatic inference of abstract type behavior.
499-504
- Xiaofan Chen:
Extraction and visualization of traceability relationships between documents and source code.
505-510
- Dominic Letarte:
Model checking graph representation of precise boolean inter-procedural flow analysis.
511-516
- Matt Staats:
The influence of multiple artifacts on the effectiveness of software testing.
517-522
Last update Fri May 25 08:24:49 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
