Results 91 to 95 of about 491 (95)

Automated Test Case Generation from OTS/CafeOBJ Specifications by Specification Translation

2017
exaly  

A preliminary study of test case generation by CafeOBJ rewrite specifications

2016
exaly  

Implementation of CafeOBJ Specifications to Java Code.

2007
Samira Sadaoui, Sudhanshu Singh
openaire  

Verifying Safe Memory Reclamation in Concurrent Programs with CafeOBJ

Duong Dinh Tran, Kazuhiro Ogata 0001
openaire   +1 more source

Provably Correct Translation from CafeOBJ into Java.

2018
Jittisak Senachak, Takahiro Seino, Kazuhiro Ogata 0001, Kokichi Futatsugi   +3 more
openaire