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 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy