INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

June 2017
M T W T F S S
« Nov    
 1234
567891011
12131415161718
19202122232425
2627282930  

 
  • INES at SEFM 2015

    (0)
    Publicado em July 13th, 2015Uncategorized
    Gustavo Carvalho, researcher at INES, will attend the 13TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2015) to present the paper entitled: “NAT2TEST Tool: from Natural Language Requirements to Test Cases based on CSP”. The conference will be held in York, United Kingdom from 7th September to 11th September 2015.
    This activity is part of the project “Reliability and Safety in Critical Software”. More details about the publication:  CARVALHO, G.; BARROS, F.; CARVALHO, A.; CAVALCANTI, A.; MOTA, A.; SAMPAIO, A.. NAT2TEST Tool: from Natural Language Requirements to Test Cases based on CSP. In: International Conference on Software Engineering and Formal Methods, 2015, York.

Leave a Reply

You must be logged in to post a comment.