default search action
Search dblp for Publications
export results for "toc:db/journals/stvr/stvr20.bht:"
@article{DBLP:journals/stvr/AlexanderOS10, author = {Roger T. Alexander and Jeff Offutt and Andreas Stefik}, title = {Testing coupling relationships in object-oriented programs}, journal = {Softw. Test. Verification Reliab.}, volume = {20}, number = {4}, pages = {291--327}, year = {2010}, url = {https://doi.org/10.1002/stvr.417}, doi = {10.1002/STVR.417}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/stvr/AlexanderOS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stvr/BriandLL10, author = {Lionel C. Briand and Yvan Labiche and Q. Lin}, title = {Improving the coverage criteria of {UML} state machines using data flow analysis}, journal = {Softw. Test. Verification Reliab.}, volume = {20}, number = {3}, pages = {177--207}, year = {2010}, url = {https://doi.org/10.1002/stvr.410}, doi = {10.1002/STVR.410}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/stvr/BriandLL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stvr/CambroneroRD10, author = {Mar{\'{\i}}a{-}Emilia Cambronero and Valent{\'{\i}}n Valero Ruiz and Gregorio D{\'{\i}}az}, title = {Verification of real-time systems design}, journal = {Softw. Test. Verification Reliab.}, volume = {20}, number = {1}, pages = {3--37}, year = {2010}, url = {https://doi.org/10.1002/stvr.405}, doi = {10.1002/STVR.405}, timestamp = {Wed, 18 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/stvr/CambroneroRD10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stvr/ChanHT10, author = {W. K. Chan and Jeffrey C. F. Ho and T. H. Tse}, title = {Finding failures from passed test cases: improving the pattern classification approach to the testing of mesh simplification programs}, journal = {Softw. Test. Verification Reliab.}, volume = {20}, number = {2}, pages = {89--120}, year = {2010}, url = {https://doi.org/10.1002/stvr.408}, doi = {10.1002/STVR.408}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/stvr/ChanHT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stvr/FiondellaG10, author = {Lance Fiondella and Swapna S. Gokhale}, title = {Importance measures for modular software with uncertain parameters}, journal = {Softw. Test. Verification Reliab.}, volume = {20}, number = {1}, pages = {63--85}, year = {2010}, url = {https://doi.org/10.1002/stvr.420}, doi = {10.1002/STVR.420}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/stvr/FiondellaG10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stvr/GriesmayerSB10, author = {Andreas Griesmayer and Stefan Staber and Roderick Bloem}, title = {Fault localization using a model checker}, journal = {Softw. Test. Verification Reliab.}, volume = {20}, number = {2}, pages = {149--173}, year = {2010}, url = {https://doi.org/10.1002/stvr.421}, doi = {10.1002/STVR.421}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/stvr/GriesmayerSB10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stvr/HayesO10, author = {Jane Huffman Hayes and Jeff Offutt}, title = {Recognizing authors: an examination of the consistent programmer hypothesis}, journal = {Softw. Test. Verification Reliab.}, volume = {20}, number = {4}, pages = {329--356}, year = {2010}, url = {https://doi.org/10.1002/stvr.412}, doi = {10.1002/STVR.412}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/stvr/HayesO10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stvr/KimBC10, author = {Tai Hyo Kim and Hojung Bang and Sung Deok Cha}, title = {A systematic representation of path constraints for implicit path enumeration technique}, journal = {Softw. Test. Verification Reliab.}, volume = {20}, number = {1}, pages = {39--61}, year = {2010}, url = {https://doi.org/10.1002/stvr.406}, doi = {10.1002/STVR.406}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/stvr/KimBC10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stvr/Masri10, author = {Wes Masri}, title = {Fault localization based on information flow coverage}, journal = {Softw. Test. Verification Reliab.}, volume = {20}, number = {2}, pages = {121--147}, year = {2010}, url = {https://doi.org/10.1002/stvr.409}, doi = {10.1002/STVR.409}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/stvr/Masri10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stvr/Offutt10, author = {Jeff Offutt}, title = {Editorial: {OOP} and discrete math}, journal = {Softw. Test. Verification Reliab.}, volume = {20}, number = {1}, pages = {1--2}, year = {2010}, url = {https://doi.org/10.1002/stvr.432}, doi = {10.1002/STVR.432}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/stvr/Offutt10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stvr/Offutt10a, author = {Jeff Offutt}, title = {Editorial: People are approximators, not perfectors}, journal = {Softw. Test. Verification Reliab.}, volume = {20}, number = {2}, pages = {87--88}, year = {2010}, url = {https://doi.org/10.1002/stvr.433}, doi = {10.1002/STVR.433}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/stvr/Offutt10a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stvr/Offutt10b, author = {Jeff Offutt}, title = {Editorial: Agility must be good for testing}, journal = {Softw. Test. Verification Reliab.}, volume = {20}, number = {3}, pages = {175--176}, year = {2010}, url = {https://doi.org/10.1002/stvr.443}, doi = {10.1002/STVR.443}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/stvr/Offutt10b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stvr/Offutt10c, author = {Jeff Offutt}, title = {Editorial: Ethics and Publishing}, journal = {Softw. Test. Verification Reliab.}, volume = {20}, number = {4}, pages = {289--290}, year = {2010}, url = {https://doi.org/10.1002/stvr.446}, doi = {10.1002/STVR.446}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/stvr/Offutt10c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stvr/TuyaCR10, author = {Javier Tuya and Mar{\'{\i}}a Jos{\'{e}} Su{\'{a}}rez Cabal and Claudio de la Riva}, title = {Full predicate coverage for testing {SQL} database queries}, journal = {Softw. Test. Verification Reliab.}, volume = {20}, number = {3}, pages = {237--288}, year = {2010}, url = {https://doi.org/10.1002/stvr.424}, doi = {10.1002/STVR.424}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/stvr/TuyaCR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stvr/ZhaoLM10, author = {Ruilian Zhao and Michael R. Lyu and Yinghua Min}, title = {Automatic string test data generation for detecting domain errors}, journal = {Softw. Test. Verification Reliab.}, volume = {20}, number = {3}, pages = {209--236}, year = {2010}, url = {https://doi.org/10.1002/stvr.414}, doi = {10.1002/STVR.414}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/stvr/ZhaoLM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.