Mathematical modeling of software reliability testing with imperfect debugging
Software reliability testing is concerned with the quantitative relationship between software testing and software reliability. Our previous work develops a mathematically rigorous modeling framework for software reliability testing. However the modeling framework is confined to the case of perfect...
Uloženo v:
| Vydáno v: | Computers & mathematics with applications (1987) Ročník 59; číslo 10; s. 3245 - 3285 |
|---|---|
| Hlavní autoři: | , , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Elsevier Ltd
01.05.2010
|
| Témata: | |
| ISSN: | 0898-1221, 1873-7668 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | Software reliability testing is concerned with the quantitative relationship between software testing and software reliability. Our previous work develops a mathematically rigorous modeling framework for software reliability testing. However the modeling framework is confined to the case of perfect debugging, where detected defects are removed without introducing new defects. In this paper the modeling framework is extended to the case of imperfect debugging and two models are proposed. In the first model it is assumed that debugging is imperfect and may make the number of remaining defects reduce by one, remain intact, or increase by one. In the second model it is assumed that when the number of remaining defects reaches the upper bound, the probability that the number of remaining defects is increased by one by debugging is zero. The expected behaviors of the cumulative number of observed failures and the number of remaining defects in the first model show that the software testing process may induce a linear or nonlinear dynamic system, depending on the relationship between the probability of debugging introducing a new defect and that of debugging removing a detected defect. The second-order behaviors of the first model also show that in the case of imperfect debugging, although there may be unbiased estimator for the initial number of defects remaining in the software under test, the cumulative number of observed failures and the current number of remaining defects are not sufficient for precisely estimating the initial number of remaining defects. This is because the variance of the unbiased estimator approaches a non-zero constant as the software testing process proceeds. This may be treated as an intrinsic principle of uncertainty for software testing. The expected behaviors of the cumulative number of observed failures and the number of remaining defects in the second model show that the software testing process may induce a nonlinear dynamic system. However theoretical analysis and simulation results show that, if defects are more often removed from than introduced into the software under test, the expected behaviors of the two models tend to coincide with each other as the upper bound of the number of remaining defects approaches infinity. |
|---|---|
| AbstractList | Software reliability testing is concerned with the quantitative relationship between software testing and software reliability. Our previous work develops a mathematically rigorous modeling framework for software reliability testing. However the modeling framework is confined to the case of perfect debugging, where detected defects are removed without introducing new defects. In this paper the modeling framework is extended to the case of imperfect debugging and two models are proposed. In the first model it is assumed that debugging is imperfect and may make the number of remaining defects reduce by one, remain intact, or increase by one. In the second model it is assumed that when the number of remaining defects reaches the upper bound, the probability that the number of remaining defects is increased by one by debugging is zero. The expected behaviors of the cumulative number of observed failures and the number of remaining defects in the first model show that the software testing process may induce a linear or nonlinear dynamic system, depending on the relationship between the probability of debugging introducing a new defect and that of debugging removing a detected defect. The second-order behaviors of the first model also show that in the case of imperfect debugging, although there may be unbiased estimator for the initial number of defects remaining in the software under test, the cumulative number of observed failures and the current number of remaining defects are not sufficient for precisely estimating the initial number of remaining defects. This is because the variance of the unbiased estimator approaches a non-zero constant as the software testing process proceeds. This may be treated as an intrinsic principle of uncertainty for software testing. The expected behaviors of the cumulative number of observed failures and the number of remaining defects in the second model show that the software testing process may induce a nonlinear dynamic system. However theoretical analysis and simulation results show that, if defects are more often removed from than introduced into the software under test, the expected behaviors of the two models tend to coincide with each other as the upper bound of the number of remaining defects approaches infinity. |
| Author | Cai, Kai-Yuan Cao, Ping Liu, Ke Dong, Zhao |
| Author_xml | – sequence: 1 givenname: Kai-Yuan surname: Cai fullname: Cai, Kai-Yuan email: kycai@buaa.edu.cn organization: Department of Automatic Control, Beijing University of Aeronautics and Astronautics, Beijing 100191, China – sequence: 2 givenname: Ping surname: Cao fullname: Cao, Ping organization: MADIS, Institute of Applied Mathematics, AMSS, CAS, Beijing 100190, China – sequence: 3 givenname: Zhao surname: Dong fullname: Dong, Zhao organization: Laboratory of Random Complex Structures and Data Science, Institute of Applied Mathematics, AMSS, CAS, Beijing 100190, China – sequence: 4 givenname: Ke surname: Liu fullname: Liu, Ke organization: MADIS, Institute of Applied Mathematics, AMSS, CAS, Beijing 100190, China |
| BookMark | eNqFkD1PwzAQhi1UJNrCL2DJxpRwjvM5MKCKL6nAArPl2JfWVRIX26Xqv8ehTAwwnXTvPae7Z0YmgxmQkEsKCQVaXG8SKfq9SFIIHWAJUHpCprQqWVwWRTUhU6jqKqZpSs_IzLkNAGQshSl5eRZ-jb3wWoou6o3CTg-ryLSRM63fC4uRDS3R6E77Q-TR-THfa7-OdL9F26L0kcJmt1qF4JyctqJzePFT5-T9_u5t8RgvXx-eFrfLWDKW-1hSlWWVKNO0rgVAQ1lLmSrbRkGOyIqSKtXkqkVVMagZhkzQTKVVleUylw2bk6vj3q01H7twFO-1k9h1YkCzc7wsIB1fLMIkO05Ka5yz2PKt1b2wB06Bj_L4hn_L46M8DowHeYGqf1FS-yDJDN4K3f3D3hxZDAI-NVrupMZBotI2yOLK6D_5L9EXj1M |
| CitedBy_id | crossref_primary_10_1007_s10916_012_9828_0 crossref_primary_10_1016_j_ress_2014_01_004 crossref_primary_10_1016_j_camwa_2012_03_082 crossref_primary_10_1007_s13198_017_0619_3 crossref_primary_10_1016_j_infsof_2020_106470 crossref_primary_10_1016_j_ins_2012_06_034 |
| Cites_doi | 10.1016/j.amc.2006.07.028 10.1016/j.ins.2007.10.024 10.1109/32.265635 10.1016/j.infsof.2007.12.001 10.1016/j.infsof.2004.07.006 10.1109/32.328991 10.1109/2.544239 10.1016/S0950-5849(02)00108-8 10.1080/03081070600957939 10.1016/j.amc.2005.01.084 10.1145/151299.151326 |
| ContentType | Journal Article |
| Copyright | 2010 Elsevier Ltd |
| Copyright_xml | – notice: 2010 Elsevier Ltd |
| DBID | 6I. AAFTH AAYXX CITATION 7SC 7TB 8FD FR3 JQ2 KR7 L7M L~C L~D |
| DOI | 10.1016/j.camwa.2010.03.011 |
| DatabaseName | ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef Computer and Information Systems Abstracts Mechanical & Transportation Engineering Abstracts Technology Research Database Engineering Research Database ProQuest Computer Science Collection Civil Engineering Abstracts Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Civil Engineering Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Mechanical & Transportation Engineering Abstracts ProQuest Computer Science Collection Computer and Information Systems Abstracts Engineering Research Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Civil Engineering Abstracts |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1873-7668 |
| EndPage | 3285 |
| ExternalDocumentID | 10_1016_j_camwa_2010_03_011 S0898122110001719 |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 1B1 1RT 1~. 1~5 29F 4.4 457 4G. 5GY 5VS 6I. 7-5 71M 8P~ 9JN AACTN AAEDT AAEDW AAFTH AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN ABAOU ABBOA ABFNM ABMAC ABTAH ABVKL ABXDB ABYKQ ACAZW ACDAQ ACGFS ACIWK ACNCT ACNNM ACRLP ACZNC ADBBV ADEZE ADMUD ADTZH AEBSH AECPX AEKER AENEX AEXQZ AFFNX AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHJVU AHZHX AIALX AIEXJ AIGVJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ARUGR ASPBG AVWKF AXJTR AZFZN BJAXD BKOJK BLXMC CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FEDTE FGOYB FIRID FNPLU FYGXN G-2 G-Q GBLVA GBOLZ HVGLF HZ~ IHE IXB J1W JJJVA KOM LG9 M26 M41 MHUIS MO0 N9A NCXOZ O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. PQQKQ Q38 R2- RIG RNS ROL RPZ SDF SDG SDP SES SEW SPC SPCBC SST SSV SSW SSZ T5K TAE TN5 WUQ XFK XPP ZMT ZY4 ~G- 9DU AATTM AAXKI AAYWO AAYXX ABJNI ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO ADVLN AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD 7SC 7TB 8FD FR3 JQ2 KR7 L7M L~C L~D |
| ID | FETCH-LOGICAL-c335t-c1d448a72299a00b13f13d7fbd05ee3671ddb5dfed83093e3d7a14d28845c5cb3 |
| ISICitedReferencesCount | 9 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000278629700003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0898-1221 |
| IngestDate | Sun Sep 28 01:25:50 EDT 2025 Sat Nov 29 05:42:19 EST 2025 Tue Nov 18 22:33:51 EST 2025 Fri Feb 23 02:23:09 EST 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 10 |
| Keywords | Software testing Imperfect debugging The principle of uncertainty Software reliability Markovian property |
| Language | English |
| License | http://www.elsevier.com/open-access/userlicense/1.0 https://www.elsevier.com/tdm/userlicense/1.0 https://www.elsevier.com/open-access/userlicense/1.0 |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c335t-c1d448a72299a00b13f13d7fbd05ee3671ddb5dfed83093e3d7a14d28845c5cb3 |
| Notes | ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 |
| OpenAccessLink | https://dx.doi.org/10.1016/j.camwa.2010.03.011 |
| PQID | 760200436 |
| PQPubID | 23500 |
| PageCount | 41 |
| ParticipantIDs | proquest_miscellaneous_760200436 crossref_primary_10_1016_j_camwa_2010_03_011 crossref_citationtrail_10_1016_j_camwa_2010_03_011 elsevier_sciencedirect_doi_10_1016_j_camwa_2010_03_011 |
| PublicationCentury | 2000 |
| PublicationDate | 2010-05-01 |
| PublicationDateYYYYMMDD | 2010-05-01 |
| PublicationDate_xml | – month: 05 year: 2010 text: 2010-05-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationTitle | Computers & mathematics with applications (1987) |
| PublicationYear | 2010 |
| Publisher | Elsevier Ltd |
| Publisher_xml | – name: Elsevier Ltd |
| References | Cai, Hu, Bai, Hai, Jing (b6) 2008; 50 Cai, Dong, Liu (b15) 2008; 178 Cai, Dong, Liu, Bai (b14) 2007; 36 Binder (b2) 2000 Xie (b5) 1991 Cai (b3) 1998 Musa (b9) 1996; 29 . (b4) 1996 Cai (b12) 2002; 44 Minc (b21) 1988 Li, Yin, Guo, Lyu (b8) 2007; 185 Ammann, Brilliant, Knight (b16) 1994; 20 Whittaker, Thomason (b11) 1994; 20 R. Findeisen, F. Allgower, An introduction to nonlinear model predictive control. Khalil (b19) 2001 Whittaker, Poore (b10) 1993; 2 Beizer (b1) 1990 Chen (b18) 1984 Cai, Li, Liu (b13) 2004; 46 Feller (b17) 1971; vol. II Chang, Huang (b7) 2005; 171 Hall, Heyde (b22) 1980 Hall (10.1016/j.camwa.2010.03.011_b22) 1980 Binder (10.1016/j.camwa.2010.03.011_b2) 2000 Ammann (10.1016/j.camwa.2010.03.011_b16) 1994; 20 Whittaker (10.1016/j.camwa.2010.03.011_b11) 1994; 20 Chen (10.1016/j.camwa.2010.03.011_b18) 1984 Khalil (10.1016/j.camwa.2010.03.011_b19) 2001 Cai (10.1016/j.camwa.2010.03.011_b13) 2004; 46 (10.1016/j.camwa.2010.03.011_b4) 1996 Xie (10.1016/j.camwa.2010.03.011_b5) 1991 Cai (10.1016/j.camwa.2010.03.011_b15) 2008; 178 Cai (10.1016/j.camwa.2010.03.011_b3) 1998 Whittaker (10.1016/j.camwa.2010.03.011_b10) 1993; 2 Musa (10.1016/j.camwa.2010.03.011_b9) 1996; 29 Cai (10.1016/j.camwa.2010.03.011_b6) 2008; 50 Li (10.1016/j.camwa.2010.03.011_b8) 2007; 185 Cai (10.1016/j.camwa.2010.03.011_b12) 2002; 44 10.1016/j.camwa.2010.03.011_b20 Chang (10.1016/j.camwa.2010.03.011_b7) 2005; 171 Feller (10.1016/j.camwa.2010.03.011_b17) 1971; vol. II Beizer (10.1016/j.camwa.2010.03.011_b1) 1990 Minc (10.1016/j.camwa.2010.03.011_b21) 1988 Cai (10.1016/j.camwa.2010.03.011_b14) 2007; 36 |
| References_xml | – volume: 44 start-page: 841 year: 2002 end-page: 855 ident: b12 article-title: Optimal software testing and adaptive software testing in the context of software cybernetics publication-title: Information and Software Technology – volume: 20 start-page: 142 year: 1994 end-page: 148 ident: b16 article-title: The effect of imperfect error detection on reliability assessment via life testing publication-title: IEEE Transactions on Software Engineering – year: 1980 ident: b22 article-title: Martingale Limit Theory and its Application – year: 1991 ident: b5 article-title: Software Reliability Modeling – volume: 29 start-page: 61 year: 1996 end-page: 68 ident: b9 article-title: Software-reliability-engineered testing publication-title: Computer – volume: 46 start-page: 989 year: 2004 end-page: 1000 ident: b13 article-title: Optimal and adaptive testing for software reliability assessment publication-title: Information and Software Technology – year: 1984 ident: b18 article-title: Linear System Theory and Design – year: 1998 ident: b3 article-title: Software Defect and Operational Profile Modeling – volume: 20 start-page: 812 year: 1994 end-page: 824 ident: b11 article-title: A Markov chain model for statistical software testing publication-title: IEEE Transactions on Software Engineering – year: 1988 ident: b21 article-title: Nonnegative Matrices – volume: 171 start-page: 746 year: 2005 end-page: 759 ident: b7 article-title: Software release policies on a shot-noise process model publication-title: Applied Mathematics and Computation – year: 2001 ident: b19 article-title: Nonlinear Systems – volume: 36 start-page: 399 year: 2007 end-page: 463 ident: b14 article-title: A mathematical modeling framework for software reliability testing publication-title: International Journal of General Systems – year: 2000 ident: b2 article-title: Testing Object-Oriented Systems: Models, Patterns, and Tools – volume: 178 start-page: 1558 year: 2008 end-page: 1597 ident: b15 article-title: Software testing processes as a linear dynamic system publication-title: Information Sciences – volume: vol. II year: 1971 ident: b17 publication-title: An Introduction to Probability Theory and its Applications – year: 1990 ident: b1 article-title: Software Testing Techniques – volume: 50 start-page: 1232 year: 2008 end-page: 1247 ident: b6 article-title: Does software reliability growth behavior follow a non-homogeneous Poisson process publication-title: Information and Software Technology – volume: 185 start-page: 1120 year: 2007 end-page: 1130 ident: b8 article-title: A hierarchical mixture model for software reliability prediction publication-title: Applied Mathematics and Computation – reference: R. Findeisen, F. Allgower, An introduction to nonlinear model predictive control. – year: 1996 ident: b4 publication-title: Handbook of Software Reliability Engineering – volume: 2 start-page: 93 year: 1993 end-page: 106 ident: b10 article-title: Markov analysis of software specifications publication-title: ACM Transactions on Software Engineering and Methodology – reference: . – volume: 185 start-page: 1120 year: 2007 ident: 10.1016/j.camwa.2010.03.011_b8 article-title: A hierarchical mixture model for software reliability prediction publication-title: Applied Mathematics and Computation doi: 10.1016/j.amc.2006.07.028 – year: 2001 ident: 10.1016/j.camwa.2010.03.011_b19 – volume: 178 start-page: 1558 year: 2008 ident: 10.1016/j.camwa.2010.03.011_b15 article-title: Software testing processes as a linear dynamic system publication-title: Information Sciences doi: 10.1016/j.ins.2007.10.024 – volume: 20 start-page: 142 year: 1994 ident: 10.1016/j.camwa.2010.03.011_b16 article-title: The effect of imperfect error detection on reliability assessment via life testing publication-title: IEEE Transactions on Software Engineering doi: 10.1109/32.265635 – year: 1996 ident: 10.1016/j.camwa.2010.03.011_b4 – volume: 50 start-page: 1232 year: 2008 ident: 10.1016/j.camwa.2010.03.011_b6 article-title: Does software reliability growth behavior follow a non-homogeneous Poisson process publication-title: Information and Software Technology doi: 10.1016/j.infsof.2007.12.001 – year: 1990 ident: 10.1016/j.camwa.2010.03.011_b1 – ident: 10.1016/j.camwa.2010.03.011_b20 – year: 1984 ident: 10.1016/j.camwa.2010.03.011_b18 – volume: 46 start-page: 989 year: 2004 ident: 10.1016/j.camwa.2010.03.011_b13 article-title: Optimal and adaptive testing for software reliability assessment publication-title: Information and Software Technology doi: 10.1016/j.infsof.2004.07.006 – year: 1998 ident: 10.1016/j.camwa.2010.03.011_b3 – volume: 20 start-page: 812 year: 1994 ident: 10.1016/j.camwa.2010.03.011_b11 article-title: A Markov chain model for statistical software testing publication-title: IEEE Transactions on Software Engineering doi: 10.1109/32.328991 – volume: 29 start-page: 61 year: 1996 ident: 10.1016/j.camwa.2010.03.011_b9 article-title: Software-reliability-engineered testing publication-title: Computer doi: 10.1109/2.544239 – volume: 44 start-page: 841 year: 2002 ident: 10.1016/j.camwa.2010.03.011_b12 article-title: Optimal software testing and adaptive software testing in the context of software cybernetics publication-title: Information and Software Technology doi: 10.1016/S0950-5849(02)00108-8 – volume: vol. II year: 1971 ident: 10.1016/j.camwa.2010.03.011_b17 – volume: 36 start-page: 399 year: 2007 ident: 10.1016/j.camwa.2010.03.011_b14 article-title: A mathematical modeling framework for software reliability testing publication-title: International Journal of General Systems doi: 10.1080/03081070600957939 – year: 1980 ident: 10.1016/j.camwa.2010.03.011_b22 – year: 2000 ident: 10.1016/j.camwa.2010.03.011_b2 – volume: 171 start-page: 746 year: 2005 ident: 10.1016/j.camwa.2010.03.011_b7 article-title: Software release policies on a shot-noise process model publication-title: Applied Mathematics and Computation doi: 10.1016/j.amc.2005.01.084 – volume: 2 start-page: 93 year: 1993 ident: 10.1016/j.camwa.2010.03.011_b10 article-title: Markov analysis of software specifications publication-title: ACM Transactions on Software Engineering and Methodology doi: 10.1145/151299.151326 – year: 1991 ident: 10.1016/j.camwa.2010.03.011_b5 – year: 1988 ident: 10.1016/j.camwa.2010.03.011_b21 |
| SSID | ssj0004320 |
| Score | 2.0001762 |
| Snippet | Software reliability testing is concerned with the quantitative relationship between software testing and software reliability. Our previous work develops a... |
| SourceID | proquest crossref elsevier |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 3245 |
| SubjectTerms | Computer programs Debugging Defects Dynamical systems Failure Imperfect debugging Markovian property Mathematical models Nonlinear dynamics Software Software reliability Software testing The principle of uncertainty |
| Title | Mathematical modeling of software reliability testing with imperfect debugging |
| URI | https://dx.doi.org/10.1016/j.camwa.2010.03.011 https://www.proquest.com/docview/760200436 |
| Volume | 59 |
| WOSCitedRecordID | wos000278629700003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1873-7668 dateEnd: 20180131 omitProxy: false ssIdentifier: ssj0004320 issn: 0898-1221 databaseCode: AIEXJ dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1bb9MwFLbKxgMvMG7agE1-4JFMiZ3EzuNUDQGCahJDKrxYduxApy2d2mbbr-G3cnxLM6ZNgMRLVLm51efr8XeOzwWh10wawEGuEkk0T_JG5Yk0pkpkxhqwtYFUVLVrNsEmEz6dVkej0c-YC3NxytqWX11V5_9V1DAGwraps38h7v6mMACfQehwBLHD8Y8E_6kvxGoTQ2yjmxDYvASNe2kDvRYw5MtzA_W0VTaiP3YGHHrhqhlrozrri_4-JK-xA8TS4eWsf07MkBvshbv6T9cdDePQ-FrOkq_dGpNj6Zy1R_FZllSHMOFvP-Q8jn2cdT6NaOim8DvsAzdFnz-zDlZyKq4CG5b4HOl941UwZzRhpW-2E3V0qBoesJgONC4QwmKwelPiOwDdWBm8k-IErP6zSxlC-uh-GjT99ZLbn-172dfKfD2h6h7aJKyoQGtuHrw_nH5YZ95SX_gz_o5Y18pFEN541G3c5zcW4KjN8RZ6GGwSfOCx9BiNTPsEPYrSxkH9P0WTIbRwhBaeNzhCCw-ghQO0sAUH7qGFe2g9Q1_eHh6P3yWhH0dSU1qskjrTYMxLRoDCyDRVGW0yqlmjdFoYQ0uWaa0K3RjN7f66ge9klmvCeV7URa3oc7TRzluzjTBRDZyneEFgPSC85lrxUmYGzHlZaN7sIBJnStShWL3tmXIqYlTiiXDTK-z0ipQKmN4d9Ka_6NzXarn79DKKQAS66WmkAMzcfSGOAhOgjO0Om2zNvFsKVqbENXV48a_3fokerP89r9DGatGZXXS_vljNlou9AL9fEQaxiw |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Mathematical+modeling+of+software+reliability+testing+with+imperfect+debugging&rft.jtitle=Computers+%26+mathematics+with+applications+%281987%29&rft.au=Cai%2C+Kai-Yuan&rft.au=Cao%2C+Ping&rft.au=Dong%2C+Zhao&rft.au=Liu%2C+Ke&rft.date=2010-05-01&rft.pub=Elsevier+Ltd&rft.issn=0898-1221&rft.eissn=1873-7668&rft.volume=59&rft.issue=10&rft.spage=3245&rft.epage=3285&rft_id=info:doi/10.1016%2Fj.camwa.2010.03.011&rft.externalDocID=S0898122110001719 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0898-1221&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0898-1221&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0898-1221&client=summon |