Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,329,405 papers from all fields of science
Search
Sign In
Create Free Account
ACM Transactions on Software Engineering and Methodology
The ACM Transactions on Software Engineering and Methodology (TOSEM) is a quarterly peer-reviewed scientific journal on Software Engineering…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
2 relations
Domain engineering
Software engineering
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
The Price of Using Students Comments on Empirical software engineering experts on the use of students and professionals in experiments
Dag I.K. Sjøberg
,
Gunnar R. Bergersen
arXiv.org
2018
Corpus ID: 53028414
In a recent article, Falessi et al. (2017) call for a deeper understanding of the pros and cons of using students and…
Expand
2018
2018
1 Test-equivalence Analysis for Automatic Patch Generation
Sergey Mechtaev
,
Xiang Gao
2018
Corpus ID: 86861326
Automated program repair is a problem of finding a transformation (called a patch) of a given incorrect program that eliminates…
Expand
Review
2016
Review
2016
Editorial: Journal-First Publication for the Software Engineering Community
Matthew B. Dwyer
,
D. Rosenblum
IEEE Trans. Software Eng.
2016
Corpus ID: 264407875
Ç T HE IEEE Transactions on Software Engineering (TSE) and ACM Transactions on Software Engineering and Methodology (TOSEM) are…
Expand
2015
2015
A Understanding Integer Overflow in C / C + + 1
Will Dietz
,
Li Peng
,
J. Regehr
2015
Corpus ID: 16057465
Integer overflow bugs in C and C++ programs are difficult to track down and may lead to fatal errors or exploitable…
Expand
2013
2013
A Finite Satisfiability of UML Class Diagrams with Constrained Class Hierarchy
Ben-Gurion
2013
Corpus ID: 38018254
syntax. The subset of UML2.0 class diagrams considered in this paper includes classes (possibly with attributes), associations…
Expand
2009
2009
Asistente para gestión de organizaciones de agentes software
A. R. Perez
2009
Corpus ID: 193994590
Los desarrollos de los sistemas multiagente se han centrado en la autonomia de los agentes como entidades individuales y en los…
Expand
Review
2002
Review
2002
’ s Corner Best practices in software engineering
H. Saiedian
2002
Corpus ID: 368551
This special issue of the Journal of Systems and Software (JSS) includes four of the best practice papers of the 22nd…
Expand
1995
1995
Speciication of Tools with Gtsl 1
W. Emmerich
1995
Corpus ID: 14489783
INCREMENT INTERFACE ScopingBlock; INCREMENT SPECIFICATION ScopingBlock; INHERIT Increment; INITIALIZATION ... DefinedNames := NEW…
Expand
Review
1995
Review
1995
A Survey of Theories for Mobile Agents 1 )
G. D. Marzo
,
SerugendoCentre
1995
Corpus ID: 14358151
This paper presents a comparative survey of formalisms related to mobile agents. It describes the -calculus and its extensions…
Expand
1994
1994
Inter-module renaming and reorganizing: examples of program manipulation in-the-large
M. Ammann
,
R. Cameron
Proceedings International Conference on Software…
1994
Corpus ID: 36548569
Maintaining software often requires repetitive and error prone manipulations of source code, particularly when changes must be…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE