Automated Synthesis of Assertion Monitors using Visual Specifications
Get full text
Conference Proceeding
Method and System for Automatic Test-Case Generation for Distributed Embedded Systems
NANDUGUDI SATHYARAJA H, SETHU RAMESH, GADKARI AMBAR A, A C RAJEEV, DIXIT MANOJ G
Year of Publication 07.04.2011
Get full text
Year of Publication 07.04.2011
Patent
FORMAL ANALYSIS DRIVEN BASED EVOLUTION OF REQUIREMENTS SPECIFICATIONS
SAMPATH PRAHLADAVARADAN, SETHU RAMESH, V. GANESAN PRASANNA VIGNESH, GADKARI AMBAR A
Year of Publication 17.02.2011
Get full text
Year of Publication 17.02.2011
Patent
Method and system for automatic test-case generation for distributed embedded systems
NANDUGUDI SATHYARAJA H, SETHU RAMESH, RAJEEV A. C, GADKARI AMBAR A, DIXIT MANOJ G
Year of Publication 13.11.2013
Get full text
Year of Publication 13.11.2013
Patent
Verfahren und System für eine automatische Testfallerzeugung für verteilte eingebettete Systeme
DIXIT, MANOJ G, RAJEEV, A C, SETHU, RAMESH, NANDUGUDI, SATHYARAJA H, GADKARI, AMBAR A
Year of Publication 05.05.2011
Get full text
Year of Publication 05.05.2011
Patent
Method and system for automatic test-case generation for distributed embedded systems
NANDUGUDI SATHYARAJA H, SETHU RAMESH, RAJEEV A. C, GADKARI AMBAR A, DIXIT MANOJ G
Year of Publication 27.04.2011
Get full text
Year of Publication 27.04.2011
Patent
Auf einer formellen Analyse basierte Entwicklung von Anforderungsspezifikationen
SAMPATH, PRAHLADAVARADAN, GANESAN, PRASANNA VIGNESH V, SETHU, RAMESH, GADKARI, AMBAR A
Year of Publication 31.03.2011
Get full text
Year of Publication 31.03.2011
Patent
Formal analysis driven based evolution of requirements specifications
GANESAN PRASANNA VIGNESH V, SAMPATH PRAHLADAVARADAN, SETHU RAMESH, GADKARI AMBAR A
Year of Publication 30.03.2011
Get full text
Year of Publication 30.03.2011
Patent