researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Automated Software Engineering
Home
Index
Info
Volume
Volume
19
, Issue
4
379
--
380
Robert J. Hall
.
Editorial: selected topics in ASE
381
--
421
Nicolas Mangano
,
André van der Hoek
.
The design and evaluation of a tool to support software designers at the whiteboard
423
--
458
David Lo
,
Shahar Maoz
.
Scenario-based and value-based specification mining: better together
459
--
490
Adam Duley
,
Chris Spandikow
,
Miryung Kim
.
Vdiff: a program differencing algorithm for Verilog hardware description language
491
--
530
Kyunghee Kim
,
Tuba Yavuz-Kahveci
,
Beverly A. Sanders
.
JRF-E: using model checking to give advice on eliminating memory model-related bugs
531
--
559
Pieter Hooimeijer
,
Westley Weimer
.
StrSolve: solving string constraints lazily
Volume
19
, Issue
3
231
--
232
Robert J. Hall
.
Editorial: analysis in software engineering
233
--
301
Xianghua Deng
,
Jooyong Lee
,
Robby
.
Efficient and formal generalized symbolic execution
303
--
334
Seyed Reza Shahamiri
,
Wan M. N. Wan-Kadir
,
Suhaimi Ibrahim
,
Siti Zaiton Mohd Hashim
.
Artificial neural networks as multi-networks automated test oracle
335
--
377
Ebrahim Bagheri
,
Faezeh Ensan
,
Dragan Gasevic
.
Decision support for the software product line domain engineering lifecycle
Volume
19
, Issue
2
137
--
140
Ayse Basar Bener
,
Tim Menzies
.
Guest editorial: learning to organize testing
141
--
165
Dimitris Liparas
,
Lefteris Angelis
,
Robert Feldt
.
Applying the Mahalanobis-Taguchi strategy for software defect diagnosis
167
--
199
Zhimin He
,
Fengdi Shu
,
Ye Yang
,
Mingshu Li
,
Qing Wang
.
An investigation on the feasibility of cross-project defect prediction
201
--
230
Ming Li
,
Hongyu Zhang
,
Rongxin Wu
,
Zhi-Hua Zhou
.
Sample-based software defect prediction with active and semi-supervised learning
Volume
19
, Issue
1
1
--
3
Robert J. Hall
.
Editorial: ASE 2011 conference trip report
5
--
63
Louise A. Dennis
,
Michael Fisher
,
Matthew P. Webster
,
Rafael H. Bordini
.
Model checking agent programming languages
65
--
95
Yves Ledru
,
Alexandre Petrenko
,
Sergiy Boroday
,
Nadine Mandran
.
Prioritizing test cases with string distances
97
--
136
Yosi Ben-Asher
,
Tomer Gal
,
Gadi Haber
,
Marcel Zalmanovici
.
Refactoring techniques for aggressive object inlining in Java applications