Regession Testing; Test Case; Lustre; SCADE; Model Checking - Articles

Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study (Articles)

Nadeem Akhtar, Muhammad Nauman

Journal of Software Engineering and Applications Vol.8 No.2, February 12, 2015

DOI: 10.4236/jsea.2015.82006 3,322 Downloads 4,900 Views Citations
A Quantitative Analysis of Collision Resolution Protocol for Wireless Sensor Network (Articles)

Reema Patel, Dhiren Patel

Journal of Software Engineering and Applications Vol.8 No.8, August 13, 2015

DOI: 10.4236/jsea.2015.88036 4,209 Downloads 5,498 Views Citations
Specification and Verification of Dynamically Reconfigurable Systems Using Dynamic Linear Hybrid Automata (Articles)

Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane

Journal of Software Engineering and Applications Vol.9 No.9, September 30, 2016

DOI: 10.4236/jsea.2016.99030 1,768 Downloads 3,002 Views Citations
This article belongs to the Special Issue on Formal Methods
Status of Developers’ Testing Process (Articles)

Gudrun Jeppesen, Mira Kajko-Mattsson, Jason Murphy

Intelligent Information Management Vol.2 No.6, June 29, 2010

DOI: 10.4236/iim.2010.26042 4,511 Downloads 8,152 Views Citations
A Study on Unified Testing Method for IEC 61850 Based Server with Focus on Setting Group Function (Articles)

Namdae Kim, Alidu Abubakari, Byungtae Jang

Smart Grid and Renewable Energy Vol.9 No.10, October 26, 2018

DOI: 10.4236/sgre.2018.910012 1,659 Downloads 2,869 Views Citations
An Improved Approach for Generating Test Cases during Model-Based Testing Using Tree Traversal Algorithm (Articles)

Oluwatolani Achimugu, Philip Achimugu, Chinonyelum Nwufoh, Sseggujja Husssein, Ridwan Kolapo, Tolulope Olufemi

Journal of Software Engineering and Applications Vol.14 No.6, June 21, 2021

DOI: 10.4236/jsea.2021.146015 409 Downloads 1,777 Views Citations
User Session-Based Test Case Generation and Optimization Using Genetic Algorithm (Articles)

Zhongsheng Qian

Journal of Software Engineering and Applications Vol.3 No.6, June 24, 2010

DOI: 10.4236/jsea.2010.36062 6,209 Downloads 10,707 Views Citations
Proposing a Systematic Approach to Verify Software Requirements (Articles)

Zuhoor Abdullah Salim Al-Khanjari

Journal of Software Engineering and Applications Vol.7 No.4, April 10, 2014

DOI: 10.4236/jsea.2014.74023 4,583 Downloads 6,849 Views Citations
A Review of Index Case Testing Induced Intimate Partner Violence and Electronic Management of Information in HIV Care (Articles)

Tihnje Abena Mbah, Ajeh Rogers, Nguetti Joseph Honoré Honoré, Luc Einstein Ngend

E-Health Telecommunication Systems and Networks Vol.12 No.4, October 10, 2023

DOI: 10.4236/etsn.2023.124005 278 Downloads 1,186 Views Citations
Traceability in Acceptance Testing (Articles)

Jean-Pierre Corriveau, Wei Shi

Journal of Software Engineering and Applications Vol.6 No.10A, October 17, 2013

DOI: 10.4236/jsea.2013.610A005 5,232 Downloads 7,924 Views Citations
This article belongs to the Special Issue on Software Testing
Aware Time in Bug Fix—A Novel Automatic Test Case Selection for Prioritization of Version Control (Articles)

G. Parkavi, D. Jeya Mala

Circuits and Systems Vol.7 No.7, May 30, 2016

DOI: 10.4236/cs.2016.77098 1,596 Downloads 2,689 Views Citations
This article belongs to the Special Issue on Emerging Technology Trends in Circuits and Systems
Towards Multi-Faceted Test Cases Optimization (Articles)

Manoj Kumar, Arun Sharma, Rajesh Kumar

Journal of Software Engineering and Applications Vol.4 No.9, September 29, 2011

DOI: 10.4236/jsea.2011.49064 6,167 Downloads 10,981 Views Citations
Sequential Probability Ratio Test of Correlation Coefficient Using Fuzzy Hypothesis Testing (Articles)

Sevil Bacanli, Duygu Icen

Open Journal of Statistics Vol.3 No.3, June 18, 2013

DOI: 10.4236/ojs.2013.33022 4,807 Downloads 7,920 Views Citations
RompecPC: A computerized program to create and solve jigsaw puzzles (Articles)

Miguel Angel Guevara, Marai Pérez Hernández, Marisela Hernández González, Araceli Sanz-Martin, Sonia Ramírez Zapata

Journal of Biomedical Science and Engineering Vol.6 No.7, July 10, 2013

DOI: 10.4236/jbise.2013.67088 4,673 Downloads 6,433 Views Citations
Hypothesis Testing of Population Percentiles via the Wald Test with Bootstrap Variance Estimates (Articles)

William D. Johnson, Jacob E. Romer

Open Journal of Statistics Vol.6 No.1, February 14, 2016

DOI: 10.4236/ojs.2016.61003 4,944 Downloads 6,924 Views Citations
Incorporating Uncertain Costs within a Series of Sequential Probability Ratio Tests (Articles)

Conor McMeel, Brett Houlding

Open Journal of Statistics Vol.6 No.5, October 21, 2016

DOI: 10.4236/ojs.2016.65073 1,885 Downloads 3,207 Views Citations
A Fault-Based Testing Approach in Safety Critical Medical Systems (Articles)

Xaveria Youh Djam, Yisa Henry Kimbi

Journal of Software Engineering and Applications Vol.13 No.6, June 23, 2020

DOI: 10.4236/jsea.2020.136009 673 Downloads 1,917 Views Citations
Simple Simulation for COVID-19 in Wuhan, Hubei, China to Predict Outbreak in Wuhan, the Initial Case in Wuhan, and the Epidemic in Japan as of 11 February, 2020 (Articles)

Junko Kurita, Tamie Sugawara, Yoshiyuki Sugishita, Yasushi Ohkusa

Journal of Biosciences and Medicines Vol.8 No.6, June 1, 2020

DOI: 10.4236/jbm.2020.86006 522 Downloads 1,622 Views Citations
Development of Situational Judgment Tests in Interprofessional Health Education (Articles)

Fernanda Drummond Ruas Gaspar, Gardênia da Silva Abbad

Creative Education Vol.15 No.1, January 25, 2024

DOI: 10.4236/ce.2024.151002 348 Downloads 1,259 Views Citations
Tests Management in CALIPSOneo: A MDE Solution (Articles)

Alberto Salido, Julian Alberto Garcia Garcia, Jose Ponce, Javier Jesus Gutierrez

Journal of Software Engineering and Applications Vol.7 No.6, May 28, 2014

DOI: 10.4236/jsea.2014.76047 3,563 Downloads 4,976 Views Citations
This article belongs to the Special Issue on Software Analysis and Testing

First <123 ...>Last

	[email protected]
	+86 18163351462 (WhatsApp)
	1655362766
	SCIRP WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	[email protected]
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies