Kolmogorov Complexity Justifies Software Engineering Heuristics (1998)


Download Links

by Ann Q. Gates , Vladik Kreinovich , Luc Longpré
Venue:Bulletin of the European Association for Theoretical Computer Science (EATCS
Citations:1 - 1 self

Active Bibliography

2 Towards Formalization of Feasibility, Randomness, and Commonsense Implication: Kolmogorov Complexity, and the Necessity of Considering (Fuzzy) Degrees – Vladik Kreinovich, Luc Longpré, Hung T. Nguyen - 1998
User’s Manual as a Requirements Specification: Case Studies Daniel M. Berry (dberry AT uwaterloo DOT ca) Khuzaima Daudjee (kdaudjee AT uwaterloo DOT ca) – Jing Dong, At Dot, Igor Fainchtein, At Dot, Maria Augusta, Nelson At Dot, Torsten Nelson, At Dot Dot, Lihua Ou, At Dot, D. M. Berry, K. Daudjee, I. Fainchtein, J. Dong, M. A. Nelson, T. Nelson, L. Ou - 2003
25 Formal Object Oriented Development of Software Systems using LOTOS – J. Paul Gibson - 1993
Intelligent Evidence-Based Management for Data Collection and Decision-Making Using Algorithmic Randomness and Active Learning Abstract – Harry Wechsler, Shen-shyang Ho - 2011
A Web Based Distributed Medical Record And Imaging Entry And Visualization System – Wei Zheng, Wei Zheng - 2000
Incorporating Software Quality Assurance In Computer Science Education: An Experiment – Massood Towhidnejad - 2002
Development of a Custom Software – Regression-Testing Tool Ensuring, Dr. Tim, D. Hunt
10 End-To-End Integration Testing Design – W. T. Tsai, Xiaoying Bai, Ray Paul, Weiguang Shao, Vishal Agarwal - 2001
2 TestTalk, A Test Description Language: Write Once, Test by Anyone, Anytime, Anywhere, with Anything – Chang Liu, Debra J. Richardson - 1999
2 Experiences Teaching a Course in Programmer Testing – Andy Tinkham - 2005
Issues in Automation of Checkpoint Encoding for Anti-Random Testing – Sanjay R. Pillai - 2000
12 Automatic Test Generation using Checkpoint Encoding and Antirandom Testing – Huifang Yin, Huifang Yin, Zemen Lebne-dengely, Zemen Lebne-dengely, Yashwant K. Malaiya, Yashwant K. Malaiya - 1997
2 Effective Black-Box Testing with Genetic Algorithms – Mark Last, Shay Eyal, Abraham K
Premal B. Nirpal et al. / International Journal on Computer Science and Engineering (IJCSE) A Brief Overview Of Software Testing Metrics – Mr. Premal, B. Nirpal
10 Koba4MS: Selling complex products and services using knowledgebased recommender technologies – Alexander Felfernig - 2005
1 Character String Predicate Based Automatic Software Test Data Generation – Ruilian Zhao
15 Software Components with Retrospectors – Chang Liu, Debra Richardson - 1998
4 Using machine learning to refine Category-Partition test specifications and test suites – Lionel C. Briand, Yvan Labiche , Zaheer Bawar , Nadia Traldi Spido - 2009
Integration Testing – Rogério Paulo