Vivek Vishal

According to our database, Vivek Vishal authored at least 2 papers in 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

Modeling and Verification of Agent based Adaptive Traffic Signal using Symbolic Model Verifier

Vivek Vishal, Sagar Gugwad, Sanjay Singh

CoRR, 2012

Integrating Model-Based and Constraint-Based Testing Using SpecExplorer.

Vivek Vishal, Mehmet Kovacioglu, Rachid Kherazi, Mohammad Reza Mousavi

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012