20. ASE 2005:
Long Beach,
CA,
USA
David F. Redmiles, Thomas Ellman, Andrea Zisman (Eds.):
20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA.
ACM 2005 BibTeX
Validation and verification I
Maintenance and evolution
Program understanding
Testing I
Code generation
- Gregor Engels, Martin Erwig:
ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications.
124-133
Electronic Edition (ACM DL) BibTeX
- Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer:
Generation of visual editors as eclipse plug-ins.
134-143
Electronic Edition (ACM DL) BibTeX
- Galen S. Swint, Calton Pu, Gueyoung Jung, Wenchang Yan, Younggyun Koh, Qinyi Wu, Charles Consel, Akhil Sahai, Koichi Moriyama:
Clearwater: extensible, flexible, modular code generation.
144-153
Electronic Edition (ACM DL) BibTeX
Configuration management & security
Aspect oriented programming
Software visualization
Validation and verification II
Testing II
Short papers 1
- Songtao Xia, Ben Di Vito, César Muñoz:
Automated test generation for engineering applications.
283-286
Electronic Edition (ACM DL) BibTeX
- Shiva Nejati, Marsha Chechik:
Let's agree to disagree.
287-290
Electronic Edition (ACM DL) BibTeX
- Dan Hao, Ying Pan, Lu Zhang, Wei Zhao, Hong Mei, Jiasu Sun:
A similarity-aware approach to testing based fault localization.
291-294
Electronic Edition (ACM DL) BibTeX
- Aaron G. Cass, Leon J. Osterweil:
Process support to help novices design software faster and better.
295-299
Electronic Edition (ACM DL) BibTeX
- Magnus Eriksson, Henrik Morast, Jürgen Börstler, Kjell Borg:
The PLUSS toolkit - extending telelogic DOORS and IBM-rational rose to support product line use case modeling.
300-304
Electronic Edition (ACM DL) BibTeX
- Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg:
A strategy for efficient verification of relational specifications, based on monotonicity analysis.
305-308
Electronic Edition (ACM DL) BibTeX
- Tsong Yueh Chen, Robert G. Merkel:
Quasi-random testing.
309-312
Electronic Edition (ACM DL) BibTeX
- Arnaud Gotlieb, Tristan Denmat, Bernard Botella:
Constraint-based test data generation in the presence of stack-directed pointers.
313-316
Electronic Edition (ACM DL) BibTeX
- Sonia Ben Mokhtar, Jinshan Liu, Nikolaos Georgantas, Valérie Issarny:
QoS-aware dynamic service composition in ambient intelligence environments.
317-320
Electronic Edition (ACM DL) BibTeX
- Na Liu, John C. Grundy, John G. Hosking:
A visual language and environment for composing web services.
321-324
Electronic Edition (ACM DL) BibTeX
- Abhay Vardhan, Mahesh Viswanathan:
Learning to verify branching time properties.
325-328
Electronic Edition (ACM DL) BibTeX
- Yuanfang Cai, Kevin J. Sullivan:
Simon: modeling and analysis of design space structures.
329-332
Electronic Edition (ACM DL) BibTeX
- Johannes Mayer:
Lattice-based adaptive random testing.
333-336
Electronic Edition (ACM DL) BibTeX
- Xiyang Liu, Hehui Liu, Bin Wang, Ping Chen, Xiyao Cai:
A unified fitness function calculation rule for flag conditions to improve evolutionary testing.
337-341
Electronic Edition (ACM DL) BibTeX
- Dianxiang Xu, Kendall E. Nygard:
A threat-driven approach to modeling and verifying secure software.
342-346
Electronic Edition (ACM DL) BibTeX
- Tao Wang, Abhik Roychoudhury:
Automated path generation for software fault localization.
347-351
Electronic Edition (ACM DL) BibTeX
- Américo Sampaio, Ruzanna Chitchyan, Paul Rayson:
EA-Miner: a tool for automating aspect-oriented requirements identification.
352-355
Electronic Edition (ACM DL) BibTeX
Short papers 2
- David Coppit, Jiexin Lian:
yagg: an easy-to-use generator for structured test inputs.
356-359
Electronic Edition (ACM DL) BibTeX
- Alexander Egyed, Stefan Biffl, Matthias Heindl, Paul Grünbacher:
Determining the cost-quality trade-off for automated software traceability.
360-363
Electronic Edition (ACM DL) BibTeX
- Jean-Francois Couchot, Alain Giorgetti, Nikolai Kosmatov:
A uniform deductive approach for parameterized protocol safety.
364-367
Electronic Edition (ACM DL) BibTeX
- Johan Fredriksson, Massimo Tivoli, Ivica Crnkovic:
A component-based development framework for supporting functional and non-functional analysis in control system design.
368-371
Electronic Edition (ACM DL) BibTeX
- Rohit Gheyi, Tiago Massoni, Paulo Borba:
A rigorous approach for proving model refactorings.
372-375
Electronic Edition (ACM DL) BibTeX
- Alma L. Juarez Dominguez, Nancy A. Day:
Compositional reasoning for port-based distributed systems.
376-379
Electronic Edition (ACM DL) BibTeX
- Li Tan:
Model-based self-monitoring embedded programs with temporal logic specifications.
380-383
Electronic Edition (ACM DL) BibTeX
- Tim Menzies, Daniel Port, Zhihao Chen, Jairus Hihn:
Specialization and extrapolation of software cost models.
384-387
Electronic Edition (ACM DL) BibTeX
- Chouki Tibermacine, Régis Fleurquin, Salah Sadou:
NFRs-aware architectural evolution of component-based software.
388-391
Electronic Edition (ACM DL) BibTeX
- Jan Jürjens, Mark Yampolskiy:
Code security analysis with assertions.
392-395
Electronic Edition (ACM DL) BibTeX
- Tristan Denmat, Mireille Ducassé, Olivier Ridoux:
Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information.
396-399
Electronic Edition (ACM DL) BibTeX
- May Haydar, Sergiy Boroday, Alexandre Petrenko, Houari A. Sahraoui:
Properties and scopes in web model checking.
400-404
Electronic Edition (ACM DL) BibTeX
- Paola Inverardi, Leonardo Mostarda, Massimo Tivoli, Marco Autili:
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach.
405-409
Electronic Edition (ACM DL) BibTeX
- Neha Rungta, Eric G. Mercer:
A context-sensitive structural heuristic for guided search model checking.
410-413
Electronic Edition (ACM DL) BibTeX
- Willem Visser, Corina S. Pasareanu, Radek Pelánek:
Test input generation for red-black trees using abstraction.
414-417
Electronic Edition (ACM DL) BibTeX
- Gregory M. Kapfhammer, Mary Lou Soffa, Daniel Mossé:
Testing in resource constrained execution environments.
418-422
Electronic Edition (ACM DL) BibTeX
- Justin Ward, Garrin Kimmell, Perry Alexander:
Prufrock: a framework for constructing polytypic theorem provers.
423-426
Electronic Edition (ACM DL) BibTeX
Formal tool demo presentations
- Guozheng Ge, E. James Whitehead Jr.:
Bamboo: an architecture modeling and code generation framework for configuration management systems.
427-428
Electronic Edition (ACM DL) BibTeX
- Jürgen Falb, Roman Popp, Thomas Röck, Helmut Jelinek, Edin Arnautovic, Hermann Kaindl:
Using communicative acts in high-level specifications of user interfaces for their automated synthesis.
429-430
Electronic Edition (ACM DL) BibTeX
- Jocelyn Simmonds, M. Cecilia Bastarrica:
A tool for automatic UML model consistency checking.
431-432
Electronic Edition (ACM DL) BibTeX
- Peter Hearty, Norman E. Fenton, Martin Neil, Patrick Cates:
Automated population of causal models for improved software risk assessment.
433-434
Electronic Edition (ACM DL) BibTeX
Doctoral symposium
Workshops
- Carsten Rudolph, Antonio Mana:
Specification and automated processing of security requirements (SAPS'05).
460
Electronic Edition (ACM DL) BibTeX
- Paul E. Black, Michael Kass:
Software security assurance tools, techniques and metrics (SSATTM).
461
Electronic Edition (ACM DL) BibTeX
- Jonathan I. Maletic, Giuliano Antoniol, Jane Cleland-Huang, Jane Huffman Hayes:
3rd international workshop on traceability in emerging forms of software engineering (TEFSE 2005).
462
Electronic Edition (ACM DL) BibTeX
- Ewen Denney, Bernd Fischer, Dieter Hutter, Mark Jones:
Software certificate management (SoftCeMent'05).
463
Electronic Edition (ACM DL) BibTeX
- Andrea Zisman, Thomas Ellman:
2nd Workshop on the state of the art in automated software engineering.
464
Electronic Edition (ACM DL) BibTeX
Copyright © Sat May 16 23:27:51 2009
by Michael Ley (ley@uni-trier.de)