default search action
Search dblp for Publications
export results for "toc:db/journals/tosem/tosem21.bht:"
@article{DBLP:journals/tosem/Al-DallalB12, author = {Jehad Al{-}Dallal and Lionel C. Briand}, title = {A Precise Method-Method Interaction-Based Cohesion Metric for Object-Oriented Classes}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {21}, number = {2}, pages = {8:1--8:34}, year = {2012}, url = {https://doi.org/10.1145/2089116.2089118}, doi = {10.1145/2089116.2089118}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/Al-DallalB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/CaiS12, author = {Yuanfang Cai and Kevin J. Sullivan}, title = {A formal model for automated software modularity and evolvability analysis}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {21}, number = {4}, pages = {21:1--21:29}, year = {2012}, url = {https://doi.org/10.1145/2377656.2377658}, doi = {10.1145/2377656.2377658}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/CaiS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/CimattiRST12, author = {Alessandro Cimatti and Marco Roveri and Angelo Susi and Stefano Tonetta}, title = {Validation of requirements for hybrid systems: {A} formal approach}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {21}, number = {4}, pages = {22:1--22:34}, year = {2012}, url = {https://doi.org/10.1145/2377656.2377659}, doi = {10.1145/2377656.2377659}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/CimattiRST12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/FantechiGLMPT12, author = {Alessandro Fantechi and Stefania Gnesi and Alessandro Lapadula and Franco Mazzanti and Rosario Pugliese and Francesco Tiezzi}, title = {A logical verification methodology for service-oriented computing}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {21}, number = {3}, pages = {16:1--16:46}, year = {2012}, url = {https://doi.org/10.1145/2211616.2211619}, doi = {10.1145/2211616.2211619}, timestamp = {Thu, 20 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/FantechiGLMPT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/FischbeinDBCU12, author = {Dario Fischbein and Nicol{\'{a}}s D'Ippolito and Greg Brunet and Marsha Chechik and Sebasti{\'{a}}n Uchitel}, title = {Weak Alphabet Merging of Partial Behavior Models}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {21}, number = {2}, pages = {9:1--9:47}, year = {2012}, url = {https://doi.org/10.1145/2089116.2089119}, doi = {10.1145/2089116.2089119}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/FischbeinDBCU12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/HolmesW12, author = {Reid Holmes and Robert J. Walker}, title = {Systematizing pragmatic software reuse}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {21}, number = {4}, pages = {20:1--20:44}, year = {2012}, url = {https://doi.org/10.1145/2377656.2377657}, doi = {10.1145/2377656.2377657}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/HolmesW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/JenningsGB12, author = {Paul Jennings and Arka P. Ghosh and Samik Basu}, title = {A two-phase approximation for model checking probabilistic unbounded until properties of probabilistic systems}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {21}, number = {3}, pages = {18:1--18:35}, year = {2012}, url = {https://doi.org/10.1145/2211616.2211621}, doi = {10.1145/2211616.2211621}, timestamp = {Wed, 27 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/JenningsGB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/KastnerATS12, author = {Christian K{\"{a}}stner and Sven Apel and Thomas Th{\"{u}}m and Gunter Saake}, title = {Type checking annotation-based product lines}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {21}, number = {3}, pages = {14:1--14:39}, year = {2012}, url = {https://doi.org/10.1145/2211616.2211617}, doi = {10.1145/2211616.2211617}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/KastnerATS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/KiezunGAGHE12, author = {Adam Kiezun and Vijay Ganesh and Shay Artzi and Philip J. Guo and Pieter Hooimeijer and Michael D. Ernst}, title = {{HAMPI:} {A} solver for word equations over strings, regular expressions, and context-free grammars}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {21}, number = {4}, pages = {25:1--25:28}, year = {2012}, url = {https://doi.org/10.1145/2377656.2377662}, doi = {10.1145/2377656.2377662}, timestamp = {Thu, 27 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/KiezunGAGHE12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/KulkarniAT12, author = {Devdatta Kulkarni and Tanvir Ahmed and Anand Tripathi}, title = {A Generative Programming Framework for Context-Aware {CSCW} Applications}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {21}, number = {2}, pages = {11:1--11:35}, year = {2012}, url = {https://doi.org/10.1145/2089116.2089121}, doi = {10.1145/2089116.2089121}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/KulkarniAT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/MattssonFLL12, author = {Anders Mattsson and Brian Fitzgerald and Bj{\"{o}}rn Lundell and Brian Lings}, title = {An Approach for Modeling Architectural Design Rules in {UML} and its Application to Embedded Software}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {21}, number = {2}, pages = {10:1--10:29}, year = {2012}, url = {https://doi.org/10.1145/2089116.2089120}, doi = {10.1145/2089116.2089120}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/MattssonFLL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/MeneelySW12, author = {Andrew Meneely and Ben H. Smith and Laurie A. Williams}, title = {Validating software metrics: {A} spectrum of philosophies}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {21}, number = {4}, pages = {24:1--24:28}, year = {2012}, url = {https://doi.org/10.1145/2377656.2377661}, doi = {10.1145/2377656.2377661}, timestamp = {Mon, 07 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/MeneelySW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/Notkin12, author = {David Notkin}, title = {Editorial}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {21}, number = {2}, pages = {7:1--7:2}, year = {2012}, url = {https://doi.org/10.1145/2089116.2089117}, doi = {10.1145/2089116.2089117}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/Notkin12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/PoshyvanykGM12, author = {Denys Poshyvanyk and Malcom Gethers and Andrian Marcus}, title = {Concept location using formal concept analysis and information retrieval}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {21}, number = {4}, pages = {23:1--23:34}, year = {2012}, url = {https://doi.org/10.1145/2377656.2377660}, doi = {10.1145/2377656.2377660}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/PoshyvanykGM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/QiRLV12, author = {Dawei Qi and Abhik Roychoudhury and Zhenkai Liang and Kapil Vaswani}, title = {{DARWIN:} An approach to debugging evolving programs}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {21}, number = {3}, pages = {19:1--19:29}, year = {2012}, url = {https://doi.org/10.1145/2211616.2211622}, doi = {10.1145/2211616.2211622}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/QiRLV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/QueraltT12, author = {Anna Queralt and Ernest Teniente}, title = {Verification and Validation of {UML} Conceptual Schemas with {OCL} Constraints}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {21}, number = {2}, pages = {13:1--13:41}, year = {2012}, url = {https://doi.org/10.1145/2089116.2089123}, doi = {10.1145/2089116.2089123}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/QueraltT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/RoychoudhuryGS12, author = {Abhik Roychoudhury and Ankit Goel and Bikram Sengupta}, title = {Symbolic Message Sequence Charts}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {21}, number = {2}, pages = {12:1--12:44}, year = {2012}, url = {https://doi.org/10.1145/2089116.2089122}, doi = {10.1145/2089116.2089122}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/RoychoudhuryGS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/ShonleGL12, author = {Macneil Shonle and William G. Griswold and Sorin Lerner}, title = {A framework for the checking and refactoring of crosscutting concepts}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {21}, number = {3}, pages = {15:1--15:47}, year = {2012}, url = {https://doi.org/10.1145/2211616.2211618}, doi = {10.1145/2211616.2211618}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/ShonleGL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/StreckerM12, author = {Jaymie Strecker and Atif M. Memon}, title = {Accounting for defect characteristics in evaluations of testing techniques}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {21}, number = {3}, pages = {17:1--17:43}, year = {2012}, url = {https://doi.org/10.1145/2211616.2211620}, doi = {10.1145/2211616.2211620}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/StreckerM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/ArnoldVY11, author = {Matthew Arnold and Martin T. Vechev and Eran Yahav}, title = {{QVM:} An Efficient Runtime for Detecting Defects in Deployed Systems}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {21}, number = {1}, pages = {2:1--2:35}, year = {2011}, url = {https://doi.org/10.1145/2063239.2063241}, doi = {10.1145/2063239.2063241}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/ArnoldVY11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/DiepDE11, author = {Madeline Diep and Matthew B. Dwyer and Sebastian G. Elbaum}, title = {Lattice-Based Sampling for Path Property Monitoring}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {21}, number = {1}, pages = {5:1--5:43}, year = {2011}, url = {https://doi.org/10.1145/2063239.2063244}, doi = {10.1145/2063239.2063244}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/DiepDE11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/EbnenasirK11, author = {Ali Ebnenasir and Sandeep S. Kulkarni}, title = {Feasibility of Stepwise Design of Multitolerant Programs}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {21}, number = {1}, pages = {1:1--1:49}, year = {2011}, url = {https://doi.org/10.1145/2063239.2063240}, doi = {10.1145/2063239.2063240}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/EbnenasirK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/ErwigW11, author = {Martin Erwig and Eric Walkingshaw}, title = {The Choice Calculus: {A} Representation for Software Variation}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {21}, number = {1}, pages = {6:1--6:27}, year = {2011}, url = {https://doi.org/10.1145/2063239.2063245}, doi = {10.1145/2063239.2063245}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/ErwigW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/SimURL11, author = {Susan Elliott Sim and Medha Umarji and Sukanya Ratanotayanon and Cristina V. Lopes}, title = {How Well Do Search Engines Support Code Retrieval on the Web?}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {21}, number = {1}, pages = {4:1--4:25}, year = {2011}, url = {https://doi.org/10.1145/2063239.2063243}, doi = {10.1145/2063239.2063243}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/SimURL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/TilevichG11, author = {Eli Tilevich and Sriram Gopal}, title = {Expressive and Extensible Parameter Passing for Distributed Object Systems}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {21}, number = {1}, pages = {3:1--3:26}, year = {2011}, url = {https://doi.org/10.1145/2063239.2063242}, doi = {10.1145/2063239.2063242}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/TilevichG11.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.