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

Automatic Generation of Test Cases in Regression Testing for Lustre/SCADE Programs (Articles)

Trinh Cong Duy, Nguyen Thanh Binh, Ioannis Parissis

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

DOI: 10.4236/jsea.2013.610A004 4,689 Downloads 7,372 Views Citations
This article belongs to the Special Issue on Software Testing
Review of Software Model-Checking Techniques for Dealing with Error Detection in Program Codes (Articles)

Ednah Olubunmi Aliyu

Journal of Software Engineering and Applications Vol.16 No.6，June 28, 2023

DOI: 10.4236/jsea.2023.166010 226 Downloads 1,038 Views Citations
Regression Testing in Developer Environment for Absence of Code Coverage (Articles)

M. Thillaikarasi, K. Seetharaman

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

DOI: 10.4236/jsea.2014.78057 3,478 Downloads 5,068 Views Citations
A Test Case Prioritization through Correlation of Requirement and Risk (Articles)

Miso Yoon, Eunyoung Lee, Mikyoung Song, Byoungju Choi

Journal of Software Engineering and Applications Vol.5 No.10，October 31, 2012

DOI: 10.4236/jsea.2012.510095 4,705 Downloads 8,045 Views Citations
A Comparative Evaluation of Test Coverage Techniques Effectiveness (Articles)

Xaveria Youh Djam, Nachamada Vachaku Blamah, Modesta Ero Ezema

Journal of Software Engineering and Applications Vol.14 No.4，April 22, 2021

DOI: 10.4236/jsea.2021.144007 335 Downloads 1,307 Views Citations
Test Effort Estimation Using Neural Network (Articles)

Chintala Abhishek, Veginati Pavan Kumar, Harish Vitta, Praveen Ranjan Srivastava

Journal of Software Engineering and Applications Vol.3 No.4，May 6, 2010

DOI: 10.4236/jsea.2010.34038 6,720 Downloads 13,136 Views Citations
A Study on Configuration and Integration of Sub-Systems to System-of-Systems with Rule Verification (Articles)

Tim Warnecke

Engineering Vol.7 No.10，October 26, 2015

DOI: 10.4236/eng.2015.710056 2,862 Downloads 3,624 Views Citations
Web Testing Generation: A Stream X-Machine Based Approach (Articles)

Zhongsheng Qian

Journal of Software Engineering and Applications Vol.5 No.1，December 31, 2011

DOI: 10.4236/jsea.2012.51002 5,043 Downloads 8,625 Views Citations
White Noise Analysis: A Measure of Time Series Model Adequacy (Articles)

Imoh Udo Moffat, Emmanuel Alphonsus Akpan

Applied Mathematics Vol.10 No.11，November 21, 2019

DOI: 10.4236/am.2019.1011069 1,593 Downloads 7,638 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,587 Views Citations
Effects of the Financial Sector on Botswana’s Economic Growth (Articles)

Tshepang Molosiwa, Farai Manwa, Martin Chanza

Modern Economy Vol.16 No.3，March 31, 2025

DOI: 10.4236/me.2025.163021 30 Downloads 181 Views Citations
Quasi-Binomial Regression Model for the Analysis of Data with Extra-Binomial Variation (Articles)

Mohamed M. Shoukri, Maha M. Aleid

Open Journal of Statistics Vol.12 No.1，January 29, 2022

DOI: 10.4236/ojs.2022.121001 441 Downloads 4,951 Views Citations
PLC Modeling and Checking Based on Formal Method (Articles)

Yueshan Zheng, Guiming Luo, Junbo Sun, Junjie Zhang, Zhenfeng Wang

Journal of Software Engineering and Applications Vol.3 No.11，November 29, 2010

DOI: 10.4236/jsea.2010.311124 8,351 Downloads 16,373 Views Citations
Analysis of Security of Quantum Key Distribution Based on Entangled Photon Pairs by Model Checking (Articles)

Surapol Rochanapratishtha, Wanchai Pijitrojana

Journal of Quantum Information Science Vol.5 No.3，September 16, 2015

DOI: 10.4236/jqis.2015.53012 3,985 Downloads 5,221 Views Citations
Verification of Real-Time Pricing Systems Based on Probabilistic Boolean Networks (Articles)

Koichi Kobayashi, Kunihiko Hiraishi

Applied Mathematics Vol.7 No.15，September 16, 2016

DOI: 10.4236/am.2016.715146 1,486 Downloads 2,481 Views Citations
Detecting Bank Conflict of GPU Programs Using Symbolic Execution—Case Study (Articles)

Koki Hamaya, Satoshi Yamane

Journal of Software Engineering and Applications Vol.10 No.2，February 21, 2017

DOI: 10.4236/jsea.2017.102009 1,688 Downloads 3,753 Views Citations
Generalized Method of Moments and Generalized Estimating Functions Based on Probability Generating Function for Count Models (Articles)

Andrew Luong

Open Journal of Statistics Vol.10 No.3，June 11, 2020

DOI: 10.4236/ojs.2020.103031 620 Downloads 2,080 Views Citations
Design and Development of Grip for Circular Test Piece Inuniversal Tensile Testing Machine (Articles)

Ojo Jeremiah Akinribide, Adetunji Kolawole Ogunkoya, Itopa Monday Momoh, Olasupo Daniel Ogundare, Ba’aku Emmanuel AttahDaniel, Samuel Olugbenga Oloruntoba Olusunle

J. of Minerals and Materials Characterization and Eng. Vol.1 No.6，November 26, 2013

DOI: 10.4236/jmmce.2013.16050 5,552 Downloads 7,141 Views Citations
Evaluation of H3A for Determination of Plant Available P vs. FeAlO Strips (Articles)

Richard L. Haney, Elizabeth B. Haney, R. Daren Harmel, Douglas R. Smith, Mike J. White

Open Journal of Soil Science Vol.6 No.11，November 8, 2016

DOI: 10.4236/ojss.2016.611017 2,026 Downloads 4,328 Views Citations
This article belongs to the Special Issue on Soil Fertility
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,362 Downloads 7,677 Views Citations

<12 3 ...>

	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