Alan Moraes

According to our database1, Alan Moraes authored at least 4 papers between 2010 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

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
A Source Code Recommender System to Support Newcomers.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

2010
Recommending experts using communication history.
Proceedings of the 2nd International Workshop on Recommendation Systems for Software Engineering, 2010


  Loading...