


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.