Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Nandamudi Lankalapalli Vijaykumar

◀ ▶ joint publications with Valdivino Alexandre de Santiago Júnior

> Home > Persons > Nandamudi Lankalapalli Vijaykumar

Publications

2017
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/SouzaJV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/SouzaJV17
Érica Ferreira de Souza, Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar:
H-Switch Cover: a new test criterion to generate test case from finite state machines. Softw. Qual. J. 25(2): 373-405 (2017)
2015
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsa/ErasSJV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsa/ErasSJV15
Eduardo Rohde Eras, Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar:
Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking. ICCSA (4) 2015: 612-627
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/ArantesSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/ArantesSV15
Alessandro Oliveira Arantes, Valdivino Alexandre de Santiago Jr., Nandamudi Lankalapalli Vijaykumar:
On Proposing a Test Oracle Generator Based on Static and Dynamic Source Code Analysis. QRS Companion 2015: 144-152
2014
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/ijwet/ArantesJVS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijwet/ArantesJVS14
Alessandro Oliveira Arantes, Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar, Érica Ferreira de Souza:
Tool support for generating model-based test cases via web. Int. J. Web Eng. Technol. 9(1): 62-96 (2014)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsa/SantosESV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsa/SantosESV14
Luciana Brasil Rebelo dos Santos, Eduardo Rohde Eras, Valdivino Alexandre de Santiago Jr., Nandamudi Lankalapalli Vijaykumar:
A Formal Verification Tool for UML Behavioral Diagrams. ICCSA (1) 2014: 696-711
[c24]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/SantosJV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SantosJV14
Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar:
Transformation of UML Behavioral Diagrams to Support Software Model Checking. FESCA 2014: 133-142
2012
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/JuniorV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/JuniorV12
Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar:
Generating model-based test cases from natural language requirements for space application software. Softw. Qual. J. 20(1): 77-143 (2012)
2010
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/latw/CristiaSV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/latw/CristiaSV10
Maximiliano Cristiá, Valdivino Alexandre de Santiago Jr., Nandamudi L. Vijaykumar:
On Comparing and Complementing two MBT approaches. LATW 2010: 1-6
2008
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/cimca/FerreiraSGV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cimca/FerreiraSGV08
Erica Ferreira, Valdivino Alexandre de Santiago Jr., Danielle Guimarães, Nandamudi Lankalapalli Vijaykumar:
Evaluation of Test Criteria for Space Application Software Modeling in Statecharts. CIMCA/IAWTIC/ISE 2008: 157-162
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/cimca/ArantesVJG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cimca/ArantesVJG08
Alessandro Oliveira Arantes, Nandamudi Lankalapalli Vijaykumar, Valdivino Alexandre de Santiago Júnior, Danielle Guimarães:
Test Case Generation for Critical Systems through a Collaborative Web-Based Tool. CIMCA/IAWTIC/ISE 2008: 163-168
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/SantiagoVGAF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/SantiagoVGAF08
Valdivino Alexandre de Santiago Jr., Nandamudi Lankalapalli Vijaykumar, Danielle Guimarães, Ana Silvia Martins do Amaral, Erica Ferreira:
An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models. ICST Workshops 2008: 63-72
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/iiwas/ArantesVJG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iiwas/ArantesVJG08
Alessandro Oliveira Arantes, Nandamudi Lankalapalli Vijaykumar, Valdivino Alexandre de Santiago Júnior, Danielle Guimarães:
WEB-PerformCharts: a collaborative web-based tool for test case generation from statecharts. iiWAS 2008: 374-381
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ssiri/SantiagoSV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssiri/SantiagoSV08
Valdivino Alexandre de Santiago Jr., Wendell Pereira da Silva, Nandamudi L. Vijaykumar:
Shortening Test Case Execution Time for Embedded Software. SSIRI 2008: 81-88
2006
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/SantiagoAVMML06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/SantiagoAVMML06
Valdivino Alexandre de Santiago Jr., Ana Silvia Martins do Amaral, Nandamudi L. Vijaykumar, Maria de Fátima Mattiello-Francisco, Eliane Martins, Odnei Cuesta Lopes:
A Practical Approach for Automated Test Case Generation using Statecharts. COMPSAC (2) 2006: 183-188

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.