Integrating Model-Based and Constraint-Based Testing Using SpecExplorer. - Vivek Vishal; Mehmet Kovacioglu; Rachid Kherazi; Mohammad Reza Mousavi 001 (ISSRE Workshops, 2012)

Modeling and Verification of Agent based Adaptive Traffic Signal using Symbolic Model Verifier - Vivek Vishal; Sagar Gugwad; Sanjay Singh (CoRR, 2012)