Login
Login
切换导航
Home
Articles
Journals
Books
News
About
Services
Submit
Home
Journal
Articles
Journals A-Z
Browse Subjects
Biomedical & Life Sci.
Business & Economics
Chemistry & Materials Sci.
Computer Sci. & Commun.
Earth & Environmental Sci.
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sci. & Humanities
Browse Subjects
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Earth & Environmental Sciences
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Complete Matching
Editorial Board
Show/Hide Options
Show/Hide Options
All
Title
Abstract
Keywords
DOI
Author
Journal
Affiliation
ISSN
Subject
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,504
Downloads
7,383
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
123
Downloads
649
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,368
Downloads
4,908
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,589
Downloads
7,983
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
250
Downloads
992
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,549
Downloads
13,099
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,776
Downloads
3,436
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
4,950
Downloads
8,449
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,330
Downloads
6,766
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,608
Downloads
8,479
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
318
Downloads
3,604
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,143
Downloads
16,139
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,820
Downloads
5,105
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,427
Downloads
2,297
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,623
Downloads
3,481
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
466
Downloads
1,705
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,421
Downloads
7,503
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
1,908
Downloads
3,942
Views
Citations
This article belongs to the Special Issue on
Soil Fertility
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,236
Downloads
6,088
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
86
Downloads
335
Views
Citations
<
1
2
3
...
>
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Free SCIRP Newsletters
Home
Journals A-Z
Subject
Books
Sitemap
Contact Us
About SCIRP
Publication Fees
For Authors
Peer-Review Issues
Special Issues
News
Service
Manuscript Tracking System
Subscription
Translation & Proofreading
FAQ
Volume & Issue
Policies
Open Access
Publication Ethics
Preservation
Retraction
Privacy Policy
Copyright © 2006-2024 Scientific Research Publishing Inc. All Rights Reserved.
Top