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,501
Downloads
7,378
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
121
Downloads
641
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,907
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,588
Downloads
7,981
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
984
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,545
Downloads
13,092
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,435
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,446
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,326
Downloads
6,732
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,582
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,134
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,818
Downloads
5,095
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,426
Downloads
2,294
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,622
Downloads
3,473
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,698
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,501
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,939
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,232
Downloads
6,077
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
82
Downloads
324
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