Login / Signup
Filipe Luís
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Delay Insensitive
Database Applications
Multiple Faults
Source Code
Top Venues
MBT
ICST Workshops
</>
Publications
</>
Isabel Nunes
,
Filipe Luís
A 5-Step Hunt for Faults in Java Implementations of Algebraic Specifications.
ICST Workshops
(2013)
Isabel Nunes
,
Filipe Luís
Testing Java implementations of algebraic specifications
MBT
(2013)