Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(7)
Andreas Zeller
1
Maarten W. van Someren
1
Carlo A. Furia
1
Bertrand Meyer
1
Y. T. Pei
1
Conferences
(2)
ISSTA
1
SAC
1
Keywords
(15)
Embed
Subscribe
Academic
Authors
Lucas Serpa Silva
Edit
Lucas Serpa Silva
Swiss Federal Institute of Technology Zurich
Publications: 2
|
Citations: 6
|
G-Index: 2
|
H-Index: 1
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
View FAQ about top research area and research interests
Collaborated with
7 co-authors
in 2010
; Cited by
18 authors
Bing
Cumulative
Annual
Order by:
Publications
(2)
BibTeX
|
RIS
|
RefWorks
Download
Automated fixing of programs with contracts
(
Citations: 6
)
Yi Wei
,
Yu Pei
,
Carlo A. Furia
,
Lucas S. Silva
,
Stefan Buchholz
,
Bertrand Meyer
,
Andreas Zeller
Conference:
International Symposium on Software Testing and Analysis - ISSTA
, pp. 61-72, 2010
Evolutionary testing of object-oriented software
Lucas Serpa Silva
,
Maarten van Someren
Conference:
ACM Symposium on Applied Computing - SAC
, pp. 1126-1130, 2010
Order by:
Citations
(6 times by 6 publications)
A framework for the automatic correction of Constraint Programs
(
Citations: 1
)
Nadjib Lazaar
,
Arnaud Gotlieb
,
Yahia Lebbah
Conference:
International Conference on Software Testing, Verification, and Validation - ICST
, pp. 319-326, 2011
Inferring better contracts
Yi Wei
,
Carlo A. Furia
,
Nikolay Kazmin
,
Bertrand Meyer
Conference:
International Conference on Software Engineering - ICSE
, pp. 191-200, 2011
Angelic debugging
Satish Chandra
,
Emina Torlak
,
Shaon Barman
,
Rastislav Bodík
Conference:
International Conference on Software Engineering - ICSE
, pp. 121-130, 2011
Specification-Based Program Repair Using SAT
Divya Gopinath
,
Muhammad Zubair Malik
,
Sarfraz Khurshid
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 173-188, 2011
Automatic Testing and Fixing for Eiffel - (Extended Abstract)
Bertrand Meyer
Conference:
Testing: Academic & Industrial Conference - Practice And Research Techniques - TAICPART
, pp. 1-4, 2010
Comments