Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/tosem/tosem21.bht:"
download as .bib file
@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 = {Mon, 03 Jan 2022 00:00:00 +0100},
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, 06 Nov 2018 00:00:00 +0100},
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}
}
a service of 
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.
retrieved on 2024-04-19 15:18 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
