 | | |
| |
| | Shin NakajimaLast updated: 12/05/15 14:47 ProfileSoftware Engineering for Dependable Systems; Formal Methods including Formal Specification Languages and Logic Model-Checking. Misc From Counterexamples to Incremental Interactive Tracing of Errors Franz Weitl, Shin Nakajima, and Burkhard Freitag it - Information Technology 52(5) 295-297 Sep 2010 [Invited] Shin Nakajima Ph.D. Thesis, The University of Tokyo Nov 2000 Bibliography Proceedings of ISORC 2009 Shin NAKAJIMA et al (eds.) IEEE Mar 2009 |
Conferences SMTreloaded – SMT-based Model Checking with Relational Logic Added Franz Weitl, Shin Nakajima Workshop on Dependability of Network Software Applications 2010 (DNSA Workshop) Nov 2010 A Refinement Planning Sheet Shin Nakajima Rodin User and Developer Workshop 2010 Sep 2010 Aspectual Encapsulation of Web Application Features Reda Ahroum, Keiji Hokamura, Daniel Balouek, Shin Nakajima. Naoyasu Ubayashi SIGSS Oct 2009 Rodin Plugin to Link Event-B with SPIN Thomas Muller, Shin Nakajima SIGSS Aug 2009 Papers A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications Shaoying Liu and Shin Nakajima Proceedings of The Eighteenth Asia-Pacific Software Engineering Conference (APSEC 2011) Dec 2011 [Refereed] An Architecture of Dynamically Adaptive PHP-based Web Applications Shin Nakajima Proceedings of The Eighteenth Asia-Pacific Software Engineering Conference (APSEC 2011) Dec 2011 [Refereed] Franz Weitl and Shin Nakajima Proc. 11th International Workshop on Automated Verification of Critical Systems (AVoCS 2011) Sep 2011 [Refereed] A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability Shaoying Liu, Tetsuo Tamai, and Shin Nakajima International Journal of Software Engineering and Knowledge Engineering 21(2) 259-288 Jun 2011 [Refereed] Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Atomic Predicate Expressions Cong Tian, Shaoying Liu, Shin Nakajima Proc. of 3rd Workshop on Constraints in Software Testing, Verification, and Analysis Mar 2011 [Refereed] |
|
|
|
| |
