


default search action
Automated Software Engineering, Volume 22
Volume 22, Number 1, March 2015
- Rachel Harrison, Tim Menzies

:
Guest editorial: special issue on realizing AI synergies in software engineering. 1-2 - LiGuo Huang

, Vincent Ng, Isaac Persing, Mingrui Chen, Zeheng Li
, Ruili Geng, Jeff Tian:
AutoODC: Automated generation of orthogonal defect classifications. 3-46 - Birgit Hofer

, Alexandre Perez
, Rui Abreu
, Franz Wotawa
:
On the empirical evaluation of similarity coefficients for spreadsheets fault localization. 47-74 - Xin Xia

, David Lo
, Emad Shihab, Xinyu Wang, Bo Zhou:
Automatic, high accuracy prediction of reopened bugs. 75-109 - Wei Zhang, LiGuo Huang

, Vincent Ng, Jidong Ge:
SMPLearner: learning to predict software maintainability. 111-141
Volume 22, Number 2, June 2015
- Rachel Harrison, Tim Menzies

:
Guest editorial: special issue on realizing AI synergies in software engineering (part 2). 143-144 - Mika Cohen, Ulrik Franke

:
An experiment in ontology use for command and control interoperability. 145-157 - Constance L. Heitmeyer

, Marc Pickett, Elizabeth I. Leonard, Myla M. Archer, Indrakshi Ray, David W. Aha
, J. Gregory Trafton:
Building high assurance human-centric decision systems. 159-197 - Aldeida Aleti

:
Designing automotive embedded systems with adaptive genetic algorithms. 199-240 - Samad Paydar

, Mohsen Kahani
:
A semantic web enabled approach to reuse functional requirements models in web engineering. 241-288
Volume 22, Number 3, September 2015
- Tim Menzies

, Corina S. Pasareanu:
Guest editorial: special multi-issue on selected topics in Automated Software Engineering. 289-290 - Adel Noureddine

, Romain Rouvoy
, Lionel Seinturier
:
Monitoring energy hotspots in software - Energy profiling of software code. 291-332 - Xusheng Xiao

, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal
, Tao Xie:
User-aware privacy control via extended static-information-flow analysis. 333-366 - Olaf Leßenich

, Sven Apel
, Christian Lengauer:
Balancing precision and performance in structured merge. 367-397 - Ábel Hegedüs

, Ákos Horváth, Dániel Varró
:
A model-driven framework for guided design space exploration. 399-436
Volume 22, Number 4, December 2015
- Tim Menzies

, Corina S. Pasareanu:
Guest editorial: special multi-issue on selected topics in automated software engineering. 437-438 - Kai Pan, Xintao Wu

, Tao Xie:
Program-input generation for testing database applications using existing database states. 439-473 - Kari Kähkönen, Olli Saarikivi

, Keijo Heljanko
:
Unfolding based automated testing of multithreaded programs. 475-515 - Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta

, Sriram Sankaranarayanan, Naoto Maeda, Takashi Imoto, Rakesh Pothengil, Mustafa Hussain:
Scalable and scope-bounded software verification in Varvel. 517-559 - Ferdian Thung, Lucia, David Lo

, Lingxiao Jiang
, Foyzur Rahman, Premkumar T. Devanbu
:
To what extent could we detect field defects? An extended empirical study of false negatives in static bug-finding tools. 561-602

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














