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

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,508 Downloads 2,308 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 303 Downloads 1,287 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 5,965 Downloads 10,182 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,319 Downloads 6,199 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 161 Downloads 699 Views Citations
Formal Modeling and Analysis of AADL Threads in Real Time Maude (Articles)

F. Belala, M. Benammar, K. Barkaoui, A. Hicheur

Journal of Software Engineering and Applications Vol.5 No.12B，January 25, 2013

DOI: 10.4236/jsea.2012.512B036 3,801 Downloads 5,414 Views Citations
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,129 Downloads 4,171 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,069 Downloads 5,052 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,621 Downloads 2,537 Views Citations
This article belongs to the Special Issue on Formal Methods
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 4,946 Downloads 7,283 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,448 Downloads 2,253 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 5,893 Downloads 10,295 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 442 Downloads 1,278 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,564 Downloads 7,245 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,506 Downloads 5,931 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,765 Downloads 6,287 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,698 Downloads 2,699 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 576 Downloads 1,498 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 190 Downloads 609 Views Citations
Evaluation of the HIV Case-Based Surveillance System: A Pilot of the Electronic Health Record System in Mutare District, Zimbabwe, 2021 (Articles)

Kudzai Patience Takarinda, Simon Nyadundu, Emmanuel Govha, Notion Tafara Gombe, Tsitsi Juru, Tshimanga Mufuta

Open Journal of Epidemiology Vol.11 No.4，November 22, 2021

DOI: 10.4236/ojepi.2021.114039 519 Downloads 3,153 Views Citations

<123 ...>

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies