default search action
22nd ASE 2007: Atlanta, Georgia, USA
- R. E. Kurt Stirewalt, Alexander Egyed, Bernd Fischer:
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 - Douglas R. Smith:
Toward automated software development. 1 - K. Rustan M. Leino:
Specifying and verifying software. 2 - Bran Selic:
The embarrassing truth about software automation and what should be done about it. 3 - Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian:
Scalable automatic test data generation from modeling diagrams. 4-13
Maintenance
- Emily Hill, Lori L. Pollock, K. Vijay-Shanker:
Exploring the neighborhood with dora to expedite software maintenance. 14-23 - Elliot Barlas, Tevfik Bultan:
Netstub: a framework for verification of distributed java applications. 24-33 - Pieter Hooimeijer, Westley Weimer:
Modeling bug report quality. 34-43
Fault tolerance
- Ali Ebnenasir:
Diconic addition of failsafe fault-tolerance. 44-53 - Jeffrey Fischer, Rupak Majumdar:
Ensuring consistency in long running transactions. 54-63 - Bassem Elkarablieh, Ivan Garcia, Yuk Lai Suen, Sarfraz Khurshid:
Assertion-based repair of complex data structures. 64-73
Programming help
- Steven P. Reiss:
Automatic code stylizing. 74-83 - Greg Little, Robert C. Miller:
Keyword programming in java. 84-93 - Anita Sarma
, Gerald Bortis, André van der Hoek:
Towards supporting awareness of indirect conflicts across software configuration management workspaces. 94-103
Program analysis
- Shay Artzi, Adam Kiezun, David Glasser, Michael D. Ernst:
Combined static and dynamic mutability analysis. 104-113 - Fadi A. Zaraket
Sequential circuits for program analysis. 114-123 - Matthew B. Dwyer
Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis. 124-133
Test generation
- Rupak Majumdar, Ru-Gang Xu:
Directed test generation using symbolic grammars. 134-143 - James H. Andrews, Felix Chun Hang Li, Tim Menzies:
Nighthawk: a two-level genetic-random unit test data generator. 144-153
Model-based development 1
- Naoyasu Ubayashi, Akihiro Sakai, Tetsuo Tamai:
An aspect-oriented weaving mechanism based on component and connector architecture. 154-163 - Yingfei Xiong
Towards automatic model synchronization from model transformations. 164-173
Debugging
- Cemal Yilmaz
An automated model-based debugging approach. 174-183 - Lingxiao Jiang
Context-aware statistical debugging: from bug predictors to faulty control flow paths. 184-193 - Derek Rayside, Lucy Mendel:
Object ownership profiling: a technique for finding and fixing memory leaks. 194-203
Reuse and OTS
- Suresh Thummalapenta, Tao Xie:
Parseweb: a programmer assistant for reusing open source code on the web. 204-213 - Michal Antkiewicz, Thiago T. Bartolomei, Krzysztof Czarnecki:
Automatic extraction of framework-specific models from framework-based application code. 214-223 - Jiang Zheng, Laurie A. Williams, Brian Robinson:
Pallino: automation to support regression test selection for cots-based applications. 224-233
Traceability
- Dapeng Liu, Andrian Marcus
Feature location via information retrieval based filtering of a single scenario execution trace. 234-243 - Chuan Duan, Jane Cleland-Huang:
Clustering support for automated tracing. 244-253 - Barthélémy Dagenais, Silvia Breu, Frédéric Weigand Warr, Martin P. Robillard:
Inferring structural patterns for concern traceability in evolving software. 254-263
Protection
- Mark Grechanik
Finding errors in components that exchange xml data. 264-273 - David Schuler, Valentin Dallmeier, Christian Lindig:
A dynamic birthmark for java. 274-283 - James A. Clause, Ioannis Doudalis, Alessandro Orso, Milos Prvulovic:
Effective memory protection using dynamic tainting. 284-292
Inception
- Yiqiao Wang, Sheila A. McIlraith, Yijun Yu
An automated approach to monitoring and diagnosing requirements. 293-302 - Tim Menzies, Oussama El-Rawas, Jairus Hihn, Martin S. Feather, Raymond J. Madachy, Barry W. Boehm:
The business case for automated software engineering. 303-312
Concurrency testing
- Jun Chen, Steve MacDonald:
Testing concurrent programs using value schedules. 313-322 - Koushik Sen:
Effective random testing of concurrent programs. 323-332
Testing
- Penelope A. Brooks, Atif M. Memon:
Automated gui testing guided by usage profiles. 333-342 - Raúl A. Santelices, Mary Jean Harrold:
Efficiently monitoring data-flow test coverage. 343-352
Model-based development 2
- Yuhong Cai, John C. Grundy
Synthesizing client load models for performance engineering via web crawling. 353-362 - Jüri Vain
Synthesis of test purpose directed reactive planning tester for nondeterministic systems. 363-372
Posters
- Kim Lauenroth
Towards automated consistency checks of product line requirements specifications. 373-376 - Kunal Taneja
Automated detection of api refactorings in libraries. 377-380 - Stefan Wappler, Ina Schieferdecker
Improving evolutionary class testing in the presence of non-public methods. 381-384 - Radu Mateescu, Pascal Poizat
Behavioral adaptation of component compositions based on process algebra encodings. 385-388 - Kelvin Ku, Thomas E. Hart, Marsha Chechik, David Lie:
A buffer overflow benchmark for software model checkers. 389-392 - Marwan Abi-Antoun, Daniel Wang, Peter Torr:
Checking threat modeling data flow diagrams for implementation conformance and security. 393-396 - Andrea Arcuri, Xin Yao
Coevolving programs and unit tests from their specification. 397-400 - Oksana Tkachuk, Sreeranga P. Rajan:
Combining environment generation and slicing for modular software model checking. 401-404 - Xun Yuan, Myra B. Cohen, Atif M. Memon:
Covering array sampling of input event sequences for automated gui testing. 405-408 - Il-Chul Yoon, Alan Sussman
Direct-dependency-based software compatibility testing. 409-412 - Vittorio Cortellessa, Ivica Crnkovic
Driving the selection of cots components on the basis of system requirements. 413-416 - Andreas Leitner, Manuel Oriol, Andreas Zeller, Ilinca Ciupa, Bertrand Meyer:
Efficient unit test case minimization. 417-420 - Chiyoung Seo, Sam Malek, Nenad Medvidovic:
An energy consumption framework for distributed java-based systems. 421-424 - Kobi Inkumsah, Tao Xie:
Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programs. 425-428 - Nadzeya Kiyavitskaya, Nicola Zeni
Extracting rights and obligations from regulations: toward a tool-supported process. 429-432 - Valentin Dallmeier, Thomas Zimmermann:
Extraction of bug localization benchmarks from history. 433-436 - Maryam Shiri, Jameleddine Hassine
Feature interaction analysis: a maintenance perspective. 437-440 - Yuanfang Cai, Sunny Huynh, Tao Xie:
A framework and tool supports for testing modularity of software design. 441-444 - 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 - Davide Devescovi, Elisabetta Di Nitto
An infrastructure for autonomic system development: the selflet approach. 449-452 - Leen Lambers, Hartmut Ehrig, Leonardo Mariani
Iterative model-driven development of adaptable service-based applications. 453-456 - Huzefa H. Kagdi, Michael L. Collard, Jonathan I. Maletic:
An approach to mining call-usage patternswith syntactic context. 457-460 - Erik Linstead, Paul Rigor, Sushil Krishna Bajracharya, Cristina Videira Lopes, Pierre Baldi:
Mining concepts from code with probabilistic topic models. 461-464 - David Lo
Mining modal scenario-based specifications from execution traces of reactive systems. 465-468 - Goetz Botterweck
Model-driven derivation of product architectures. 469-472 - Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander:
Modular and generic programming with interpreterlib. 473-476 - Madeline Diep, Sebastian G. Elbaum, Matthew B. Dwyer
Reducing irrelevant trace variations. 477-480 - Robert J. Hall:
Rteq: modeling and validating infinite-state hard-real-time systems. 481-484 - Philippe Charles, Robert M. Fuhrer, Stanley M. Sutton Jr.:
IMP: a meta-tooling platform for creating language-specific ides in eclipse. 485-488 - Hui Liu, Ge Li, Zhiyi Ma, Weizhong Shao:
Scheduling of conflicting refactorings to promote quality improvement. 489-492 - Huoping Chen, Salim Hariri:
An evaluation scheme of adaptive configuration techniques. 493-496 - Mark M. McIntyre, Robert J. Walker
Assisting potentially-repetitive small-scale changes via semi-automated heuristic search. 497-500 - Thomas Witkowski, Nicolas Blanc, Daniel Kroening
Model checking concurrent linux device drivers. 501-504 - Lin-Zan Cai, Rong-Shiung Wu, Wen-Ting Huang, Farn Wang:
Test automation for kernel code and disk arrays with virtual devices. 505-508 - Leila Naslavsky, Hadar Ziv, Debra J. Richardson:
Towards leveraging model transformation to support model-based testing. 509-512 - William W. Pugh, Nathaniel Ayewah:
Unit testing concurrent software. 513-516 - Fangzhe Chang, Jennifer Ren:
Validating system properties exhibited in execution traces. 517-520 - Nicolas Blanc, Alex Groce, Daniel Kroening
Verifying C++ with STL containers via predicate abstraction. 521-524
Tool demonstrations
- Otávio Augusto Lazzarini Lemos
CodeGenie: using test-cases to search and reuse source code. 525-526 - Naouel Moha, Yann-Gaël Guéhéneuc:
Decor: a tool for the detection of design defects. 527-528 - Paola Inverardi, Leonardo Mostarda:
DESERT: a decentralized monitoring tool generator. 529-530 - Hiroyuki Nakagawa
Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models. 531-532 - Deepak Dhungana
Integrated tool support for software product line engineering. 533-534 - 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 - Qing Xie, Mark Grechanik
Smart: a tool for application reference testing. 537-538 - Adam M. Smith, Joshua Geiger, Gregory M. Kapfhammer, Mary Lou Soffa:
Test suite reduction and prioritization with call trees. 539-540 - Alessandro Armando
The eureka tool for software model checking. 541-542 - Marwan Abi-Antoun, Jonathan Aldrich
Tool support for the compile-time execution structure of object-oriented programs with ownership annotations. 543-544 - Jan Jürjens, Yijun Yu:
Tools for model-based security engineering: models vs. code. 545-546 - Jordi Cabot
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming. 547-548 - Robert Tairas, Jeff Gray
Visualizing clone detection results. 549-550
Doctoral symposium
- Yuanyuan Song:
Adaptation hiding modularity. 551-554 - Rachel Gawley:
Automating the identification of variability realisation techniques from feature models. 555-558 - Huzefa H. Kagdi:
Improving change prediction with fine-grained source code mining. 559-562 - Denys Poshyvanyk
Using information retrieval to support design of incremental change of software. 563-566 - Leila Naslavsky, Debra J. Richardson:
Using traceability to support model-based regression testing. 567-570
Mini-tutorials
- Koushik Sen:
Concolic testing. 571-572 - Gary T. Leavens:
Tutorial on JML, the java modeling language. 573
Tutorials
- Steve M. Easterbrook
Empirical research methods for software engineering. 574 - Krzysztof Czarnecki:
Software reuse and evolution with generative techniques. 575 - John G. Hosking
Meta tools for implementing domain specific visual languages. 576 - Perry Alexander:
Rosetta: language support for system-level design. 577
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-11-15 19:20 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: