Search dblp for Publications

export results for "toc:db/journals/stvr/stvr20.bht:"

 download as .bib file

@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}
}