Alan Moraes
According to our database1,
Alan Moraes
authored at least 4 papers
between 2010 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
A family of test selection criteria for Timed Input-Output Symbolic Transition System models.
Sci. Comput. Program., 2016
2014
Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time Systems.
Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014
2012
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012
2010
Proceedings of the 2nd International Workshop on Recommendation Systems for Software Engineering, 2010