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.