Search
for Topics
All Reviews
Browse All Reviews
>
Software (D)
>
Software Engineering (D.2)
>
Software/Program Verification (D.2.4)
> Validation (D.2.4...)
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
1-10 of 20 Reviews about "
Validation (D.2.4...)
":
Date Reviewed
Metamorphic testing: a review of challenges and opportunities
Chen T., Kuo F., Liu H., Poon P., Towey D., Tse T., Zhou Z. ACM Computing Surveys 51(1): 1-27, 2018. Type: Article
Testing software remains a complex business, so finding different means for doing so is important. Metamorphic testing belongs in one’s toolkit, along with unit tests and property-based testing. Thus, overviews are particular...
Jun 2 2020
Evaluating software architecture evaluation methods: an internal replication
Abrahão S., Insfran E. EASE 2017 (Proceedings of the 21st International Conference on Evaluation and Assessment in Software Engineering, Karlskrona, Sweden, Jun 15-16, 2017) 144-153, 2017. Type: Proceedings
Software architecture plays a vital role in the development of products since it enables ex-ante analysis and tackles fundamentals early. In fact, starting the development of a software product with a no-architectural approach makes fu...
Jul 28 2017
Abstractions for validation in action
de Caso G., Braberman V., Garbervetsky D., Uchitel S. SFM 2012 (Proc. of the 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinoro, Italy, Jun 18-23, 2012) 192-218, 2012. Type: Proceedings
Abstraction is a software engineering technique for constructing a model by capturing the essential features and properties of the respective real-world system. Determining which irrelevant details to omit and the appropriate level of ...
Nov 16 2012
Program transformation for numerical precision
Martel M. PEPM 2009 (Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Savannah, GA, Jan 19-20, 2009) 101-110, 2009. Type: Proceedings, Reviews: (2 of 2)
Numerical accuracy is a notoriously difficult concept to master, with competing theoretical interpretations and thorny practical problems. Few are brave enough to tackle these problems head on, so the efforts of those who are should ce...
Jun 30 2009
Program transformation for numerical precision
Martel M. PEPM 2009 (Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Savannah, GA, Jan 19-20, 2009) 101-110, 2009. Type: Proceedings, Reviews: (1 of 2)
Finite precision arithmetic behaves in a way that differs substantially from classical arithmetic that uses the standard mathematical concept of real numbers. Many of the laws known to hold in the classical setting, such as associativi...
Apr 30 2009
Efficient analysis of DynAlloy specifications
Frias M., Lopez Pombo C., Galeotti J., Aguirre N. ACM Transactions on Software Engineering and Methodology 17(1): 1-34, 2007. Type: Article
Alloy is a well-known language and tool for specification or modeling of a software system in a formal way: it can be syntactically checked for static errors, and can also be analyzed for dynamic properties. One of the characteristics ...
Apr 7 2008
A Decision-Analytic Stopping Rule for Validation of Commercial Software Systems
Chávez T. IEEE Transactions on Software Engineering 26(9): 907-918, 2000. Type: Article
When to stop testing and release a software product is an important and difficult decision. This paper presents a decision analysis model, based on Bayesian statistics, that aids in making this decision. The model’s major con...
Jul 1 2001
Abstract interpretation of reactive systems
Dams D., Gerth R., Grumberg O. ACM Transactions on Programming Languages and Systems 19(2): 253-291, 1997. Type: Article
The “abstract interpretations” in the title are models of “concrete” systems that have fewer states than the original. The abstraction preserves the truth of a requirement expressed as a formula ...
Sep 1 1997
Aslantest: a symbolic execution tool for testing Aslan formal specifications
Douglas J., Kemmerer R. Software testing and analysis (Proceedings of the 1994 international symposium, Seattle, Washington, United States, Aug 17-19, 1994) 15-27, 1994. Type: Proceedings
Aslantest is a symbolic execution tool for testing formal specifications written in the Aslan specification language. A brief overview of Aslan (a state-based specification language based on first-order predicate calculus with equality...
Sep 1 1995
Analyzing refinements of state based specifications: the case of TB nets
Felder M., Ghezzi C., Pezzè M. ACM SIGSOFT Software Engineering Notes 18(3): 28-39, 1993. Type: Article
The authors contribute to reducing the effort of analyzing complex real-time systems that can be modeled through high-level timed Petri nets. They introduce the concept of the observable time behavior (TB) of a system. They define rele...
Aug 1 1994
Display
5
10
15
25
50
100
per page
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy