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

CRAB—CombinatoRial Auction Body Software System (Articles)

Petr Fiala, Jana Kalčevová, Jan Vraný

Journal of Software Engineering and Applications Vol.3 No.7, July 23, 2010

DOI: 10.4236/jsea.2010.37082 5,775 Downloads 9,811 Views Citations
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,761 Downloads 8,823 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,264 Downloads 4,851 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 796 Downloads 1,930 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 184 Downloads 875 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 247 Downloads 921 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,815 Downloads 6,956 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 1,090 Downloads 3,530 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,923 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,727 Downloads 6,344 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,812 Downloads 7,061 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 597 Downloads 7,187 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,425 Downloads 9,292 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,566 Downloads 11,654 Views Citations
Modeling Components and Services of LTE Mobile Communications System (Articles)

Ishtiaq Ahmed Choudhry, Nazir Ahmad Zafar

International Journal of Communications, Network and System Sciences Vol.5 No.12, December 20, 2012

DOI: 10.4236/ijcns.2012.512086 4,905 Downloads 8,195 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,269 Downloads 6,770 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,263 Downloads 13,775 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,850 Downloads 3,354 Views Citations
An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z (Articles)

Nasir Mehmood Minhas, Asad Masood Qazi, Sidra Shahzadi, Shumaila Ghafoor

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

DOI: 10.4236/jsea.2015.88037 6,627 Downloads 9,666 Views Citations
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,373 Downloads 11,062 Views Citations

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