22. ASE 2007:
Atlanta,
Georgia,
USA
R. E. Kurt Stirewalt, Alexander Egyed, Bernd Fischer (Eds.):
22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA.
ACM 2007, ISBN 978-1-59593-882-4 BibTeX
Maintenance
Fault tolerance
Programming help
Program analysis
Test generation
Model-based development 1
Debugging
Reuse and OTS
Traceability
Protection
Inception
Concurrency testing
Testing
Model-based development 2
Posters
- Kim Lauenroth, Klaus Pohl:
Towards automated consistency checks of product line requirements specifications.
373-376
Electronic Edition (ACM DL) BibTeX
- Kunal Taneja, Danny Dig, Tao Xie:
Automated detection of api refactorings in libraries.
377-380
Electronic Edition (ACM DL) BibTeX
- Stefan Wappler, Ina Schieferdecker:
Improving evolutionary class testing in the presence of non-public methods.
381-384
Electronic Edition (ACM DL) BibTeX
- Radu Mateescu, Pascal Poizat, Gwen Salaün:
Behavioral adaptation of component compositions based on process algebra encodings.
385-388
Electronic Edition (ACM DL) BibTeX
- Kelvin Ku, Thomas E. Hart, Marsha Chechik, David Lie:
A buffer overflow benchmark for software model checkers.
389-392
Electronic Edition (ACM DL) BibTeX
- Marwan Abi-Antoun, Daniel Wang, Peter Torr:
Checking threat modeling data flow diagrams for implementation conformance and security.
393-396
Electronic Edition (ACM DL) BibTeX
- Andrea Arcuri, Xin Yao:
Coevolving programs and unit tests from their specification.
397-400
Electronic Edition (ACM DL) BibTeX
- Oksana Tkachuk, Sreeranga P. Rajan:
Combining environment generation and slicing for modular software model checking.
401-404
Electronic Edition (ACM DL) BibTeX
- Xun Yuan, Myra Cohen, Atif M. Memon:
Covering array sampling of input event sequences for automated gui testing.
405-408
Electronic Edition (ACM DL) BibTeX
- Il-Chul Yoon, Alan Sussman, Atif M. Memon, Adam A. Porter:
Direct-dependency-based software compatibility testing.
409-412
Electronic Edition (ACM DL) BibTeX
- Vittorio Cortellessa, Ivica Crnkovic, Fabrizio Marinelli, Pasqualina Potena:
Driving the selection of cots components on the basis of system requirements.
413-416
Electronic Edition (ACM DL) BibTeX
- Andreas Leitner, Manuel Oriol, Andreas Zeller, Ilinca Ciupa, Bertrand Meyer:
Efficient unit test case minimization.
417-420
Electronic Edition (ACM DL) BibTeX
- Chiyoung Seo, Sam Malek, Nenad Medvidovic:
An energy consumption framework for distributed java-based systems.
421-424
Electronic Edition (ACM DL) BibTeX
- Kobi Inkumsah, Tao Xie:
Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programs.
425-428
Electronic Edition (ACM DL) BibTeX
- Nadzeya Kiyavitskaya, Nicola Zeni, Travis D. Breaux, Annie I. Antón, James R. Cordy, Luisa Mich, John Mylopoulos:
Extracting rights and obligations from regulations: toward a tool-supported process.
429-432
Electronic Edition (ACM DL) BibTeX
- Valentin Dallmeier, Thomas Zimmermann:
Extraction of bug localization benchmarks from history.
433-436
Electronic Edition (ACM DL) BibTeX
- Maryam Shiri, Jameleddine Hassine, Juergen Rilling:
Feature interaction analysis: a maintenance perspective.
437-440
Electronic Edition (ACM DL) BibTeX
- Yuanfang Cai, Sunny Huynh, Tao Xie:
A framework and tool supports for testing modularity of software design.
441-444
Electronic Edition (ACM DL) BibTeX
- François Lagarde, Huáscar Espinoza, François Terrier, Sébastien Gérard:
Improving uml profile design practices by leveraging conceptual domain models.
445-448
Electronic Edition (ACM DL) BibTeX
- Davide Devescovi, Elisabetta Di Nitto, Raffaela Mirandola:
An infrastructure for autonomic system development: the selflet approach.
449-452
Electronic Edition (ACM DL) BibTeX
- Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè:
Iterative model-driven development of adaptable service-based applications.
453-456
Electronic Edition (ACM DL) BibTeX
- Huzefa H. Kagdi, Michael L. Collard, Jonathan I. Maletic:
An approach to mining call-usage patternswith syntactic context.
457-460
Electronic Edition (ACM DL) BibTeX
- Erik Linstead, Paul Rigor, Sushil Krishna Bajracharya, Cristina Videira Lopes, Pierre Baldi:
Mining concepts from code with probabilistic topic models.
461-464
Electronic Edition (ACM DL) BibTeX
- David Lo, Shahar Maoz, Siau-Cheng Khoo:
Mining modal scenario-based specifications from execution traces of reactive systems.
465-468
Electronic Edition (ACM DL) BibTeX
- Goetz Botterweck, Liam O'Brien, Steffen Thiel:
Model-driven derivation of product architectures.
469-472
Electronic Edition (ACM DL) BibTeX
- Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander:
Modular and generic programming with interpreterlib.
473-476
Electronic Edition (ACM DL) BibTeX
- Madeline Diep, Sebastian G. Elbaum, Matthew B. Dwyer:
Reducing irrelevant trace variations.
477-480
Electronic Edition (ACM DL) BibTeX
- Robert J. Hall:
Rteq: modeling and validating infinite-state hard-real-time systems.
481-484
Electronic Edition (ACM DL) BibTeX
- Philippe Charles, Robert M. Fuhrer, Stanley M. Sutton Jr.:
IMP: a meta-tooling platform for creating language-specific ides in eclipse.
485-488
Electronic Edition (ACM DL) BibTeX
- Hui Liu, Ge Li, Zhiyi Ma, Weizhong Shao:
Scheduling of conflicting refactorings to promote quality improvement.
489-492
Electronic Edition (ACM DL) BibTeX
- Huoping Chen, Salim Hariri:
An evaluation scheme of adaptive configuration techniques.
493-496
Electronic Edition (ACM DL) BibTeX
- Mark M. McIntyre, Robert J. Walker:
Assisting potentially-repetitive small-scale changes via semi-automated heuristic search.
497-500
Electronic Edition (ACM DL) BibTeX
- Thomas Witkowski, Nicolas Blanc, Daniel Kroening, Georg Weissenbacher:
Model checking concurrent linux device drivers.
501-504
Electronic Edition (ACM DL) BibTeX
- Lin-Zan Cai, Rong-Shiung Wu, Wen-Ting Huang, Farn Wang:
Test automation for kernel code and disk arrays with virtual devices.
505-508
Electronic Edition (ACM DL) BibTeX
- Leila Naslavsky, Hadar Ziv, Debra J. Richardson:
Towards leveraging model transformation to support model-based testing.
509-512
Electronic Edition (ACM DL) BibTeX
- William Pugh, Nathaniel Ayewah:
Unit testing concurrent software.
513-516
Electronic Edition (ACM DL) BibTeX
- Fangzhe Chang, Jennifer Ren:
Validating system properties exhibited in execution traces.
517-520
Electronic Edition (ACM DL) BibTeX
- Nicolas Blanc, Alex Groce, Daniel Kroening:
Verifying C++ with STL containers via predicate abstraction.
521-524
Electronic Edition (ACM DL) BibTeX
Tool demonstrations
- Otávio Augusto Lazzarini Lemos, Sushil Krishna Bajracharya, Joel Ossher, Ricardo Santos Morla, Paulo Cesar Masiero, Pierre Baldi, Cristina Videira Lopes:
CodeGenie: using test-cases to search and reuse source code.
525-526
Electronic Edition (ACM DL) BibTeX
- Naouel Moha, Yann-Gaël Guéhéneuc:
Decor: a tool for the detection of design defects.
527-528
Electronic Edition (ACM DL) BibTeX
- Paola Inverardi, Leonardo Mostarda:
DESERT: a decentralized monitoring tool generator.
529-530
Electronic Edition (ACM DL) BibTeX
- Hiroyuki Nakagawa, Kenji Taguchi, Shinichi Honiden:
Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models.
531-532
Electronic Edition (ACM DL) BibTeX
- Deepak Dhungana, Rick Rabiser, Paul Grünbacher, Thomas Neumayer:
Integrated tool support for software product line engineering.
533-534
Electronic Edition (ACM DL) BibTeX
- Yves Ledru, Frédéric Dadeau, Lydie du Bousquet, Sébastien Ville, Elodie Rose:
Mastering combinatorial explosion with the tobias-2 test generator.
535-536
Electronic Edition (ACM DL) BibTeX
- Qing Xie, Mark Grechanik, Matthew Hellige:
Smart: a tool for application reference testing.
537-538
Electronic Edition (ACM DL) BibTeX
- Adam M. Smith, Joshua Geiger, Gregory M. Kapfhammer, Mary Lou Soffa:
Test suite reduction and prioritization with call trees.
539-540
Electronic Edition (ACM DL) BibTeX
- Alessandro Armando, Massimo Benerecetti, Dario Carotenuto, Jacopo Mantovani, Pasquale Spica:
The eureka tool for software model checking.
541-542
Electronic Edition (ACM DL) BibTeX
- Marwan Abi-Antoun, Jonathan Aldrich:
Tool support for the compile-time execution structure of object-oriented programs with ownership annotations.
543-544
Electronic Edition (ACM DL) BibTeX
- Jan Jürjens, Yijun Yu:
Tools for model-based security engineering: models vs. code.
545-546
Electronic Edition (ACM DL) BibTeX
- Jordi Cabot, Robert Clarisó, Daniel Riera:
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming.
547-548
Electronic Edition (ACM DL) BibTeX
- Robert Tairas, Jeff Gray, Ira D. Baxter:
Visualizing clone detection results.
549-550
Electronic Edition (ACM DL) BibTeX
Doctoral symposium
Mini-tutorials
Tutorials
Copyright © Sat May 16 23:27:51 2009
by Michael Ley (ley@uni-trier.de)
