Formal Methods; Model-Based Software Testing; Regression Testing; Extended Finite State Machines - Articles

Process of Designing Robust, Dependable, Safe and Secure Software for Medical Devices: Point of Care Testing Device as a Case Study (Articles)

Sivanesan Tulasidas, Ruth Mackay, Pascal Craw, Chris Hudson, Voula Gkatzidou, Wamadeva Balachandran

Journal of Software Engineering and Applications Vol.6 No.9A，August 30, 2013

DOI: 10.4236/jsea.2013.69A001 4,520 Downloads 8,194 Views Citations
This article belongs to the Special Issue on Software Engineering for Safety-Critical Systems and Medical Devices
Estimation Models for Software Functional Test Effort (Articles)

Kamala Ramasubramani Jayakumar, Alain Abran

Journal of Software Engineering and Applications Vol.10 No.4，April 27, 2017

DOI: 10.4236/jsea.2017.104020 2,075 Downloads 4,155 Views Citations
Strategy and Methodology of Integration Testing for GUI Software (Articles)

Mengqing TanLi, Jiyi Xiao, Ying Zhang

Journal of Software Engineering and Applications Vol.16 No.8，August 29, 2023

DOI: 10.4236/jsea.2023.168019 177 Downloads 760 Views Citations
Designing a Software Performance Engineering Laboratory (Articles)

Wasim Haque

Journal of Software Engineering and Applications Vol.18 No.3，March 20, 2025

DOI: 10.4236/jsea.2025.183006 47 Downloads 249 Views Citations
Development of a Model Driven ACSI Conformance Testing for IEC 61850-Based IED (Articles)

Byungtae Jang, Alidu Abubakari, Namdae Kim

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

DOI: 10.4236/sgre.2018.910014 938 Downloads 2,802 Views Citations
Quantifying Reusability of Object Oriented Design: A Testability Perspective (Articles)

Mahfuzul Huda, Yagya Dutt Sharma Arya, Mahmoodul Hasan Khan

Journal of Software Engineering and Applications Vol.8 No.4，April 14, 2015

DOI: 10.4236/jsea.2015.84018 4,622 Downloads 6,233 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,766 Downloads 6,293 Views Citations
Sensitivity and Specificity Analysis Relation to Statistical Hypothesis Testing and Its Errors: Application to Cryptosporidium Detection Techniques (Articles)

Emmanuel de-Graft Johnson Owusu-Ansah, Angelina Sampson, Amponsah K. Samuel, Abaidoo Robert

Open Journal of Applied Sciences Vol.6 No.4，April 14, 2016

DOI: 10.4236/ojapps.2016.64022 3,567 Downloads 5,726 Views Citations
DSML ProcGraph: Overview and a Mid-Size Industrial Application Example (Articles)

Giovanni Godena, Miha Glavan

Journal of Software Engineering and Applications Vol.16 No.8，August 24, 2023

DOI: 10.4236/jsea.2023.168017 123 Downloads 527 Views Citations
Obsidian: Pattern-Based Unit Test Implementations (Articles)

James Bowring, Hunter Hegler

Journal of Software Engineering and Applications Vol.7 No.2，February 14, 2014

DOI: 10.4236/jsea.2014.72011 4,665 Downloads 6,586 Views Citations
Literature Review of Language Testing Theories and Approaches (Articles)

Anmin Mao

Open Access Library Journal Vol.9 No.5，May 19, 2022

DOI: 10.4236/oalib.1108741 463 Downloads 5,753 Views Citations
Lognormal Process Software Reliability Modeling with Testing-Effort (Articles)

Shinji Inoue, Shigeru Yamada

Journal of Software Engineering and Applications Vol.6 No.4A，April 23, 2013

DOI: 10.4236/jsea.2013.64A002 6,245 Downloads 8,716 Views Citations
This article belongs to the Special Issue on Software Dependability
Formal Methods for Commercial Applications Issues vs. Solutions (Articles)

Saiqa Bibi, Saira Mazhar, Nasir Mehmood Minhas, Irfan Ahmed

Journal of Software Engineering and Applications Vol.7 No.8，July 22, 2014

DOI: 10.4236/jsea.2014.78062 8,316 Downloads 10,938 Views Citations
Modeling Components and Services of LTE Mobile Communications System (Articles)

Ishtiaq Ahmed Choudhry, Nazir Ahmad Zafar

Int'l J. of Communications, Network and System Sciences Vol.5 No.12，December 20, 2012

DOI: 10.4236/ijcns.2012.512086 4,708 Downloads 7,649 Views Citations
Imperfection of Domain Knowledge and Its Formalization in Context of Design of Robust Software Systems (Articles)

Meenakshi Sridhar, Naseeb Singh Gill

Journal of Software Engineering and Applications Vol.8 No.9，September 25, 2015

DOI: 10.4236/jsea.2015.89047 5,106 Downloads 6,283 Views Citations
A Bivariate Software Reliability Model with Change-Point and Its Applications (Articles)

Shinji Inoue, Shigeru Yamada

American Journal of Operations Research Vol.1 No.1，March 25, 2011

DOI: 10.4236/ajor.2011.11001 7,004 Downloads 13,211 Views Citations
FSM Based DFS Link for Network on Chip (Articles)

Erulappan Sakthivel, Veluchamy Malathi, Muruganantham Arunraja, Govinndaraj Perumalvignesh

Circuits and Systems Vol.7 No.8，June 20, 2016

DOI: 10.4236/cs.2016.78150 1,724 Downloads 2,831 Views Citations
Towards Semantic Mutation Testing of Aspect-Oriented Programs (Articles)

Abdul Azim Abdul Ghani

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

DOI: 10.4236/jsea.2013.610A002 5,623 Downloads 8,136 Views Citations
This article belongs to the Special Issue on Software Testing
Automated Testing Framework for ODBC Driver (Articles)

Dan Ye

Journal of Software Engineering and Applications Vol.4 No.12，December 5, 2011

DOI: 10.4236/jsea.2011.412081 7,067 Downloads 10,452 Views Citations
Using Test Employee Capability Maturity Model for Supporting Gaps Bridging in Software Testing (Articles)

Jithinan Sirathienchai, Peraphon Sophatsathit, Decha Dechawatanapaisal

Journal of Software Engineering and Applications Vol.5 No.6，June 19, 2012

DOI: 10.4236/jsea.2012.56048 4,709 Downloads 8,588 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