Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAutomated Software Engineering, Volume 23
Volume 23, Number 1, March 2016
- Robert J. Hall:
Editorial introduction. 1-2 - Tegawendé F. Bissyandé, Laurent Réveillère, Julia L. Lawall, Gilles Muller:
Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel. 3-41 - Xin Xia
, Liang Gong, Tien-Duy B. Le, David Lo, Lingxiao Jiang, Hongyu Zhang:
Diversity maximization speedup for localizing faults in single-fault and multi-fault programs. 43-75 - Jeffrey L. Overbey, Ralph E. Johnson, Munawar Hafiz:
Differential precondition checking: a language-independent, reusable analysis for refactoring engines. 77-104 - Dietmar Jannach, Thomas Schmitz:
Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach. 105-144
Volume 23, Number 2, June 2016
- Robert J. Hall:
Editorial Introduction. 145-146 - Ebrahim Bagheri, Faezeh Ensan:
Semantic tagging and linking of software engineering social content. 147-190 - Olivier Ponsini, Claude Michel, Michel Rueher:
Verifying floating-point programs with constraint programming and abstract interpretation techniques. 191-217 - Alejandro Rago, Claudia A. Marcos, Jorge Andrés Díaz Pace:
Assisting requirements analysts to find latent concerns with REAssistant. 219-252 - Thomas R. Devine, Katerina Goseva-Popstojanova, Sandeep Krishnan, Robyn R. Lutz:
Assessment and cross-product prediction of software product line quality: accounting for reuse across products, over multiple releases. 253-302
Volume 23, Number 3, September 2016
- Robert J. Hall:
Editorial introduction. 303-304 - Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres:
Practical verification of decision-making in agent-based autonomous systems. 305-359 - Jácome Cunha, Martin Erwig, Jorge Mendes, João Saraiva:
Model inference for spreadsheets. 361-392 - Shaowei Wang, David Lo, Lingxiao Jiang:
AutoQuery: automatic construction of dependency queries for code search. 393-425 - Minh Tu Ton That, Salah Sadou, Flávio Oquendo, Régis Fleurquin:
Preserving architectural decisions through architectural patterns. 427-467 - Tian Tian, Dunwei Gong:
Test data generation for path coverage of message-passing parallel programs based on co-evolutionary genetic algorithms. 469-500 - Santiago A. Vidal, Claudia A. Marcos, Jorge Andrés Díaz Pace:
An approach to prioritize code smells for refactoring. 501-532
Volume 23, Number 4, December 2016
- Robert J. Hall:
Editorial introduction. 533-534 - Chun-Feng Liao, Kung Chen, Deik Hoong Tan, Jiu-Jye Chen:
Automatic query rewriting schemes for multitenant SaaS applications. 535-568 - Tiejian Wang, Zhiwu Zhang, Xiaoyuan Jing, Liqiang Zhang:
Multiple kernel ensemble learning for software defect prediction. 569-590 - Daeyoung Kim, Amruta Gokhale, Vinod Ganapathy, Abhinav Srivastava:
Detecting plagiarized mobile apps using API birthmarks. 591-618 - Shane McIntosh, Bram Adams, Meiyappan Nagappan, Ahmed E. Hassan:
Identifying and understanding header file hotspots in C/C++ build processes. 619-647 - Pierre André Ménard, Sylvie Ratté:
Concept extraction from business documents for software engineering projects. 649-686 - Johannes Bürdek, Timo Kehrer, Malte Lochau, Dennis Reuling, Udo Kelter, Andy Schürr:
Reasoning about product-line evolution using complex feature model differences. 687-733
a service of 
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-04-26 18:24 CEST 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:
