2013 20th Asia-Pacific Software Engineering Conference (APSEC)
Latest Publications

TOTAL DOCUMENTS

139
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By IEEE

9781479921447, 9781479921430
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Bidirectional Translation between OCL and JML for Round-Trip Engineering

2013 ◽  
Author(s):  
Hiroaki Shimba ◽  
Kentrao Hanada ◽  
Kozo Okano ◽  
Shinji Kusumoto
Keyword(s):  
Round Trip

A Practical Study of Debugging Using Model Checking

2013 ◽  
Author(s):  
Hideto Ogawa ◽  
Makoto Ichii ◽  
Fumihiko Kumeno ◽  
Toshiaki Aoki
Keyword(s):  
Model Checking

scholarly journals Towards a Hybrid Framework for Detecting Input Manipulation Vulnerabilities

2013 ◽  
Author(s):  
Sun Ding ◽  
Hee Beng Kuan Tan ◽  
Lwin Khin Shar ◽  
Bindu Madhavi Padmanabhuni
Keyword(s):  
Hybrid Framework

Results for Compositional Timed Testing

2013 ◽  
Author(s):  
Boutheina Bannour ◽  
Christophe Gaston ◽  
Marc Aiguier ◽  
Arnault Lapitre

A Systematic Review of Model-Driven Security

2013 ◽  
Author(s):  
Phu H. Nguyen ◽  
Jacques Klein ◽  
Yves Le Traon ◽  
Max E. Kramer
Keyword(s):  
Systematic Review ◽  
Model Driven
Load More ...
Sign in / Sign up

Export Citation Format

Share Document