Lecture Notes in Computer Science - Formal Methods: Foundations and Applications
Latest Publications

TOTAL DOCUMENTS

11
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783319294728, 9783319294735
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verifying Transformations of Java Programs Using Alloy

2016 ◽  
pp. 110-126 ◽  
Author(s):  
Tarciana Dias da Silva ◽  
Augusto Sampaio ◽  
Alexandre Mota
Keyword(s):  
Java Programs

Mobile CSP

2016 ◽  
pp. 39-55 ◽  
Author(s):  
Jim Woodcock ◽  
Andy Wellings ◽  
Ana Cavalcanti

Automatic Generation of Test Cases and Test Purposes from Natural Language

2016 ◽  
pp. 145-161 ◽  
Author(s):  
Sidney Nogueira ◽  
Hugo L. S. Araujo ◽  
Renata B. S. Araujo ◽  
Juliano Iyoda ◽  
Augusto Sampaio
Keyword(s):  
Natural Language ◽  
Automatic Generation ◽  
Test Cases
Load More ...
Sign in / Sign up

Export Citation Format

Share Document