The document provides a bibliography with references to various sources related to software testing and verification. It includes over 80 entries ranging from books, papers, and other documents published between 1967-2007 on topics like program proving, software quality, testing techniques, debugging, and verification strategies. The references are cited in a consistent format and organized alphabetically by primary author last name.
The document provides a bibliography with references to various sources related to software testing and verification. It includes over 80 entries ranging from books, papers, and other documents published between 1967-2007 on topics like program proving, software quality, testing techniques, debugging, and verification strategies. The references are cited in a consistent format and organized alphabetically by primary author last name.
The document provides a bibliography with references to various sources related to software testing and verification. It includes over 80 entries ranging from books, papers, and other documents published between 1967-2007 on topics like program proving, software quality, testing techniques, debugging, and verification strategies. The references are cited in a consistent format and organized alphabetically by primary author last name.
[AHO86] Alfred V. AHO, Ravi SETHI, Jeffrey D. ULLMAN – Compilers:
Principles,Techniques and Tools, Addison Wesley Pearson Education, 1986, ISBN 7-115-09916-2. [ANDE79] Anderson R. B., Proving Programs Correct, John Wiley and Sons, 1979. [ARHI] ARHIRE Romulus, Modele de evaluare a complexitǎţii software, tezǎ de doctorat [ASH03] Ash Lidia, The Web Testing Companion: The Insider's Guide to Efficient and Effective Tests, John Wiley & Sons, 2003, ISBN:0471430218 [BALO97] Balog Alexandru, Olaru Marieta, s.a. - Managementul calitătii si protectia consumatorilor, vol.3, lito ASE, Bucuresti, 1997 [BARO82] Baron Tudor, I. Ivan, Al.Balog - The Characteristic System of Software Products Quality, Economic Computation and Economic Cybernetics Studies and Research, ASE Bucharest, No.1, 1982, pg.29-44 [BARO82a] Baron T., Ivan I. Balog A., "Sistemul caractersiticilor de calitate ale software-ului", în: Studii şi cercetări de calcul economic şi cibernetică economică (SCCECE), nr.1, 1982, pag.29-45; [BARO83] Baron T., Ivan I. Balog A., "Evaluarea fiabilităţii programelor", în: Studii şi cercetări de calcul economic şi cibernetică economică (SCCECE), nr. 3, 1983, pag. 18-30; [BARO84] Baron Tudor, Ivan Ion, Balog Alexandru - Informatică Economică: Calitatea programelor si stilul de programare, lito ASE, Bucuresti, 1984 [BASU75] Basu S. K. and Misra J. D., Proving Loop Programs, IEEE Transactions on Software Engineering, vol. sE-I, no. I, pp. 76-86, 1975. [BEIZ84] Beizer, B., Software System Testing and Quality Assurance. New York: Van Nostrand Reinhold Company, Inc. 1984. [BEIM89] Beiman, James M., and Janet L. Schultz. Estimating the Number of Test Cases Required to Satisfy the All-du-paths Testing Criteria. Proceedings of the COMPASS 90 conference. 1989 ACM 089791-342-6/89/0012/0179 [BEIZ90] Beizer B., Software Testing Techniques, 2d ed., Van Nostrand Reinhold, 1990 [BEIZ95] Beizer, Boris. Black-Box Testing: Techniques for Functional Testing of Software and Systems. New York: Wiley, 1995 [BERA90] Berard, Edward V – Issues in the Testing of Object-Oriented Software, www.itmweb.com, 1990 [BERG91] Bergman, Mark. The Evolution of Software Testing Automation, Proceedings of the 8th International Conference on Testing Computer Software, June 19, 1991 [BOEH75] Boehm, B. W., and R. W. Wolverton. Practical Strategies for Developing Large Software Systems. Reading, Mass.: Addison-Wesley, 1975 [BOEH80] Boehm Barry W., J.R. Brown, H.Kaspar, M.Lipow - Characteristics of Software Quality, T.R.W. Series of Software Technology, North Holland Publishing House, New York, USA 1980 [BOOC91] Booch, Grady, Object Oriented Design with Applications, The Benjamin/Cummings Publishing Company, Inc., 1991 [BRAD85] Bradley J. H., The Science and Art of Debugging, Computer World, August 19, 1985, pp. 35-38 [BRÂN04] Brândaş, C.: Auditul sistemelor informatice de gestiune, note de curs, Facultatea De ştiinţe Economice, Universitatea de Vest, Timişoara, 2004 [BROW73] Brown, J. R., and M. Lipow. The Quantitative Measurement of Software Safety and Reliability. TRW Report SDP 1176, 1973 [BRIL87] Brilliant S. S., Knight J. C., and Levenson N.G., The Consistent Comparison Problem in N-Version Software, ACM Software Engineering Notes, vol. 12, no. 1, January 1987, pp. 29-34 [BUDD82] T.A.Budd, D.Anghin, Two Notions of Correctness and their Relation to Testing, Acta Informatica, 18(1982), 1, pp. 31-46 [BURS74] Burstall R.M., "Program Proving as Hand Simulation with a Little Induction," IFIP 6th World Computer Congress (Stockholm, Sweden, 1974, North Holland Publishing Co, pp. 308-312. [BUSH90] Bush Martin E., Norman E. Fenton - Software Measurement: A Conceptual Framework, Journal Systems Software, No.12, 1990, pp.223-231 [CHAN96] Chang, J., D. J. Richardson, and S. Sankar, Structural Specification-Based Testing with ADL, Proc. of 1996 International Symposium on Software Testing and Analysis, San Diego, CA, January 1996, pp. 62–70. [CHAN98] Chang, J., and D. J. Richardson, ADLScope: An Automated Specification- Based Unit Testing Tool, ICS Technical Report 98-26, Department of Information and Computer Science, University of California, Irvine, CA, 1998. [CHAN02] Chan, W. K., Chen T. Y., Tse, T. H. – An Overview of Integration Testing Technique of object-Oriented Programs, Proceedings of the 2nd ACIS Annual International Conference on Computer and Information Science, (ICIS 2002), International Association for Computer and Information Science, Mt. Pleasant, Michigan, 2002 [CHEU90] Cheung W. H., Black J.P., and Manning E., A Framework for Distributed Debugging, IEEE Software, Jan. 1990, pp. 106-115 [CORR78] C.H.Correll, Proving Programs Correct through Refinement, Acta Informatica, 9(1978), pp. 121-132. [DEUT79] Deutsch M., Verification and Validation, in Software Engineering, (Jensen R. and Tonies C., eds.), Prentice-Hall, 1979, pp. 329-408 [DIJK68] Dijkstra E., A constructive approach to the problem of program correctness, BIT, 8(1968), pp.174-186 [DIJK76] Dijkstra E. W., A Discipline of Programming; Prentice Hall, 1976 [DUEN05] Dumitraşcu Eugen, Enescu Nicolae-Iulian, EJB as a Business Solution in Enterprise Distributed Applications, The proceedings of THE SEVENTH INTERNATIONAL CONFERENCE ON INFORMATICS IN ECONOMY, 19-20 Mai 2005, Editura Economică, Bucureşti, 2005, pg. 335-341, ISBN 973-8360-04-4 [DUEN07] Dumitraşcu Eugen, Enescu Nicolae-Iulian, Functional Testing Strategies for mobile applications, The proceedings of THE EIGHTH INTERNATIONAL CONFERENCE ON INFORMATICS IN ECONOMY, 17-18 Mai 2007, Editura Economică, Bucureşti, 2007 [DUEN07a] Dumitraşcu Eugen, Enescu Nicolae-Iulian, Ivan Ion, Marian Gheorghe, Verification Strategies of Software for Mobile Applications, The proceedings of the 5th International Conference on “Microelectronics and Computer Science”, Volume I, September 19-21, 2007, Technical university of Moldova, Chişinău, 2007, pg. 414-418 [DUEN07b] Dumitraşcu Eugen, Enescu Nicolae-Iulian, Ivan Ion, Marian Gheorghe, Verification Strategies of Software for Mobile Applications-Experimental Results, The proceedings of the 5th International Conference on “Microelectronics and Computer Science”, Volume I, September 19-21, 2007, Technical university of Moldova, Chişinău, 2007, pg. 419-423 [DUEN07c] Dumitraşcu Eugen, Enescu Nicolae-Iulian, Marian Gheorghe, IVV Testing Model for Mobile Applications, SINTES 13 – International Symposium on System Theory, 18-20 October , Craiova, 2007 [ENES05] Enescu Nicolae-Iulian, Algoritmi de verificare a programelor, referat prezentat în cadrul planului de pregătire a tezei de doctorat, A.S.E., Bucureşti, Ianuarie 2005 [ENES06] Enescu Nicolae-Iulian, Software pentru testarea programelor, referat prezentat în cadrul planului de pregătire a tezei de doctorat, A.S.E., Bucureşti, Septembrie 2006 [FARR99] Farr W.H., Smith D.O., Statistical Modeling and Estimation of Reliability Functions for Software(SMERFS) User’s Guide, NAVSWC TR-84-373, Revision 2, Naval Surface Weapon Center, March 1999 [FIRO02] F. Gh. Filip, I. Gh. Roşca, M. Stoica, Societatea Informaţională. Societatea Cunoaşterii, Concepte, soluţii şi strategii pentru România, Academia Română, Editura Expert Bucureşti, 2002, 539 [FLOY67] Floyd R.W., Assigning meanings to programs, Proc. Symposium in Applied Mathematics, 19, AMS, 1967, pp.19-32. [FLOR96] Floroiu Cătălin - Evaluarea produselor software, BYTE România, vol.2 nr.5, mai 1996, pg.83-87 [FOST84] Foster K. A., Sensitive Test Data for Boolean Expressions, ACM Software Engineering Notes, vol. 9, no. 2, April 1984, pp. 120-125 [FRAN88] Frankl R. G., and Weyuker E. J., An Applicable Family of Automata for Testing Criteria, IEEE Trans. Software Engineering, vol. 14, no. 10, October 1988, pp. 1483-1498 [GAFF88] Gaffney J.D. and Davis C.F., "An Approach to Estimating Software Errors and Availability", SPC-TR-88-007, version 1.0, March 1988, Proceedings of the 11th Minnowbrook Workshop on Software Reliability, July 1988. [GHRO02] Ghilic-Micu B., Rosca Ion Gh., Apostol Ctin, Stoica Marian, Cocianu Catalina-Lucia, Algoritmi în programare, ASE, 2002 [GILB93] Gilb, Tom, and Dorothy Graham. Software Inspection. Reading, Mass.: Addison-Wesley, 1993 [GIUM96] Giumale Cristian, Negreanu Lorina, Călinoiu Silviu - Proiectarea si analiza algoritmilor, Editura All Educational, Bucuresti, 1996 [HALS72] Halstead M. H., Natural Laws Controlling Algorithm Structure, Sigplan Notices Vol. 7, No. 2, 1972 [HALS77] Halstead M. H, Elements of Software Science, New York, Elsevier North- Holland, 1977 [HANT76] Hantler S. L., King J. C., An Introduction to Proving the Correctness of Programs, Computing Surveys, vol.8, no. 6, pp. 331-353, 1976. [HETZ84] Hetzel W., The Complete Guide to Software Testing, QED Information Sciences, 1984 [HOAR69] Hoare C. A. R., An Axiomatic Basis for Computer Programming, Comm. of the ACM, Vol. 12, pp. 576-583,1969 [HOAR71] Hoare C. A. R., "Procedures and Parameters: An Axiomatic Approach," Lecture Notes in Mathematics, vol. 188 Springer-Verlag, New York, 1971. [HOAR75] Hoare C. A. R., "Parallel Programming: An Axiomatic Approach," Computer Languages, vol. I, no. 2, pp. 151-160, 1975. [HOLU90] Allen I Holub – Compiler Design in C, Prentice Hall Software Series, 1990, ISBN 0-13-155151-5. [HOWD82] Howden W. E., Weak Mutation Testing and the Completeness of Test Cases, IEEE Trans. Software Engineering, vol. SE-8, no. 4, July 1982, pp. 371-379 [HOWD89] Howden, William E. Validation Programs without Specifications, Proceedings of COMPASS 90, 1989 ACM 089791-342-6-89/0002 [HUGH76] Hughes J. K., Michtom J. I., A Structured Approach to Programming, Prentice Hall, 1976 [HUTC90] Hutcheson, Marnie - Production Problems in an Application Running on the Prodigy Service, Proceedings of the Fifth Annual Compass Conference on Computer Assurance, 1990, IEEE, Washington, DC, Section 3 [HUTC94] Hutcheson, Marnie - Testing of a Shrink-Wrapped (RAD) Product, Proceedings of Eurostar '94, 1994 [HUTC03] Hutcheson, Marnie - Software Testing Fundamentals: Methods and Metrics, John Wiley & Sons, 2003 [ISO1] ISO/IEC 9126 International Standard – Information Technology – Software product evaluation – Quality characteristics and guidelines for their use, 1991, Geneve, Switzerland [ISO2] ISO 8402 International Standard - Quality, Vocabulary, 1986, Geneve, Switzerland [IVAN79] Ivan Ion - Construirea sistemelor de programe, lito ASE, Bucuresti 1979 [IVAN96] Ivan Ion, Popescu Mihai - Metrici software, BYTE Romania, vol.2, nr.5, mai 1996, pg.73-82 [IVCO98] Ion IVAN, Cristian CODREANU – Optimizarea programelor Assembler, Informatica Economică, nr. 6, 1998, pg. 26 – 37 [IVAN98] Ivan I., Popescu M., Simion F., Sinioros P., Metrici software, Editura INFOREC, Bucureşti, 1998 [IVAN99] Ivan Ion, Pocatilu Paul, Testarea software orientat obiect, Editura Inforec, Bucureşti, 1999 [IVTE99] Ion IVAN, Laurentiu TEODORESCU, Software Quality Management, INFOREC Publishing House, Bucharest 1999 [IVAN00] Ivan Ion, Teodorescu Laurenţiu, Pocatilu Paul, Creşterea calităţii software prin testare, QMedia, Nr. 5, 2000 [IVAN03] Ion IVAN, Constantin NICULAE, Paul POCATILU – Metrici pentru evaluarea coeziunii software orientat obiect, Studii si Cercetari de Calcul Economic si Cibernetica Economica, vol. 37, nr. 3, 2003, pg. 5 – 14 [IVAN05] Ivan Ion, Noşca Gheorghe, Capisizu Sergiu, Auditul sistemelor informatice, Editura ASE, Bucuresti, 2005, ISBN 973-594-638-6 [IVAN06] Ivan Ion, Amancei Cristian, Stabilitatea coeficienţilor modelului global de calitate software, Editura ASE, Bucureşti, 2006 [IVBO06] Ion IVAN, Cǎtǎlin BOJA, Analiza metricilor software, Studii şi Cercetǎri de Calcul Economic şi Ciberneticǎ Economicǎ, vol. 40, nr. 1, 2006, pg.65- 78, ISSN 0585-7511 [IVNO06] Ion IVAN, Gheorghe NOSCA, Marius POPA, Managementul calitatii aplicatiilor informatice, Editura ASE, Bucuresti, 2006. [IVRǍ06] Ion IVAN, Iulian RǍDULESCU, Analiza comparatǎ a complexitǎţii entitǎţilor text generate prin tehnici de programare, Editura ASE, Bucuresti 2006, 164 pg, ISBN 973-594-754-4 [IVTO06] Ivan Ion, Toma Cristian, Informatics Security – Handbook, Editura ASE, Bucureşti, 2006 [IVAN07] Ion Ivan, Cǎtǎlin Boja, Practica optimizǎrii aplicaţiilor informatice, Bucureşti, ASE, 2007, ISBN 978-973-594-932-7 [IVAN08] Ion IVAN, Nicolae Iulian ENESCU, Stabilirea nivelului de corectitudine pentru aplicaţii informatice distribuite, Editura ASE, Bucureşti, 2008 [JASS05] Jass - Correct System Design Group University of Oldenburg. Jass -Project Website, September 2005. http://csd.informatik.uni-oldenburg.de/_jass/ [JONE86] Jones, Capers, Programming productivity, McGraw-Hill Book Co., New York, 1986 [JONE94] Jones, Capers. Software Quality for 1995: What Works and What Doesn't? Software Productivity Research, Inc., 1994 [JONE97] Jones, C. Software Quality-Analysis and Guidelines for Success. Boston: International Thompson Computer Press, 1997 [KEIL89] Keiller P.A. and Miller D.R., On the use and the performance of software reliability growth models, Reliability Engeneering and System Safety Special Issue, pag. 1-21, 1989. [KIT95] Kit, E. 1995. Software Testing in the Real World: Improving the Process. Reading, MA: ACM Press Addison Wesley [KING76] King J. C., Symbolic Execution and Program Testing, Communications of the ACM, vol. 9, no. 7, pp. 385-394, 1976. [KNIG89] Knight J., and Ammann P., Testing Software Using Multiple Versions, Report No. 89029N, Software Productivity Consortium, Reston, Virgillia, June 1989 [KNIG93] Knight John C., Myers Ann E. - An Improved Inspection Technique, Communications of the ACM, November 1993, Vol.30, No.11, p.51-68 [KNUT73] Knuth D. E., The Art of Computer Programming, Vol. 1-3, Addison- Wesley, 1968, 1969, 1973 [KLEE52] Kleene S. C., Introduction to Meta-Mathematics. D Van Nostrand Inc, 1952 [LAUT91] Lauterback, L., and W. Randall. Experimental Evaluation of Six Test Techniques, Research Triangle Institute, P.O. Box 12194, Research Triangle Park, NC 27709, 1991 [LING79] Linger R. C., Mills H. D. and Witt B. I., Structured Programming: Theory and Practice. Addison-Wesley, 1979. [LIVE78] Livercy C., Theorie des Programmes: Schemas, Preuves, Semantique. Dunod-Informatique, Paris, 1978. [LITT90] Littlewood B., Limits to evaluation of software dependability, Draft report- PDCS No. D8 Project 3092-PDCS, City University, Northampton Square, London , July, 1990. [LOND78] London, R.L., et al., Proof rules for the programming language Eucli', Acta Informatica, 10, No. 1, 1978. [LUBL92] Lu M., Brocklehurst S., and Littlewood B., Combination of predictions obtained from different software reliability growth models, In Procceding 10th Software Reliability Symposium, June 25-26, 1992. [LYUM90] Lyu M.R., "Software Reliability Engineering and Measurement at the Jet Propulsion Laboratory.", Workshop on Software Reliability, Carleton University, Ottawa Ontario Canada, May 24-26, 1990. [MANN69] Manna Z., The Correctness of Programs, Journal of Computer and System Science, Vol. 3, 1969 [MANN70] Manna Z. and Pnueli A., "Formalization of Properties of Functional Programs," Journal of the ACM, vol. 17, no. 3, pp. 555-569, 1970. [MANN74] Manna, Z., Mathematical Theory of Computation, McGrawHill, NewYork, 1974. [MANN78] Manna Z., Waldinger R., Is “sometime” sometimes better than “always”?: intermittent assertions in proving program correctness, Communications of the ACM, Volume 21 , Issue 2 (February 1978), pp. 159 - 172 [MAMI03] Marian Gheorghe, Mihaiu Ilie Mircea, Dumitraşcu Eugen, Enescu Nicolae- Iulian, How to learn Programming through choosing and running, Analele Universităţii din Craiova, Anul 27, Nr. 27, 2003, vol. I, seria: Inginerie Electrică, pag. 166-172, Editura Universitaria, Craiova, 2003, ISSN 1223- 530X [MARI03] Marian Gheorghe, Mihaiu Ilie Mircea, Dumitraşcu Eugen, Enescu Nicolae- Iulian, “On Line” Testing for Software Design, SINTES 11 International Symposium on system theory, vol II, 23-24 October , pg. 447-450, Editura Universitaria, Craiova, 2003 , ISBN 973-8043-415-5 [MAPA06] Marian Gheorghe, Pătrăşcoiu Octavian, Marian Marius Adrian, Dumitraşcu Eugen, Enescu Nicolae-Iulian, Tehnici de Programare Ghid practic, vol I + II, Editura Universitaria, Craiova, 2006, ISBN 973-742-304-6 [MAUR77] Maurer W. D., The teaching of program correctness, Technical Symposium on Computer Science Education, Proceedings of the seventh SIGCSE technical symposium on Computer science education, Atlanta, Georgia, 1977, pp. 142 - 144 [MCC76] McCabe T., A Software Complexity Measure, IEEE Trans. Softwae Engineering, vol. 2, no. 6, December 1976, pp. 308-320 [MCC89] McCabe, Thomas J., and Charles W. Butler. Design Complexity Measurement and Testing. Communications of the ACM. December 1989, Volume 32, Number 12 [MCCA62] McCarthy J., Towards a Mathematical Science of Computation, Proc. WT Congress, Amsterdam, North-Holland Publications, 1962 [MCGE82] McGettrick A. D., Program Verification Using Ada, Cambridge Computer Science Texts-13, Cambridge University Press, 1982. [MEYE92] Meyer, B., Eiffel: The Language, Prentice Hall, New York, 1992. [MICH98] Michel, R.. “Putting NT to the Test.” Manufacturing Systems 16(3):A18- A20. 1998 [MILI83] Mili A., "Verifying Programs by Induction on Their Data Structure: General Format and Applications," Information Processing Letters, vol. 17, pp. 155- 160, 1983. [MILI84] Mili A., Desharnais J., A system for classifying program verification methods: Assigning meanings to program verification methods, International Conference on Software Engineering, Proceedings of the 7th international conference on Software engineering, Orlando, Florida, United States, 1984, pp. 499 - 509 [MILL79] Miller E., Automated Tools for Software Engineering, IEEE Computer Society Press, 1979, p. 169 [MILLS75] Mills H. D., "The New Math of Computer Programming," Communications of the ACM, vol. 18, no. I, pp. 43-48, 1975 [MIOK90] Musa J.D., Iannino A., Okumoto K., “Software Reliability: Measurement, Prediction, Application”, Professional Edition: Software Engineering Series, McGraw-Hill, New York, NY., 1990. [MOOR74] Moore J. S., Introducing Prog into the pure Lisp Prover, CSL-74-3, Xerox Palo Alto Research Center, December 1974. [MORR71] Morris J. H., "Another Recursion Induction Principle," Communications of the ACM, vol.14, no. 5, pp. 351-354, 1971. [MORR77] Morris J. H. and Wegbreit B., "Program Verification by Subgoal Induction," Chapter 8 of Current Trends in Programming Methodology, Vol. 2, R T Yeh, editor, Prentice-Hall, 1977 [MYER79] Myers G., The Art of Software Testing, Wiley, 1979 [MUŞA97] Muşatescu Carmen, Sisteme de operare distribuite, Reprografia Universităţii din Craiova, Craiova, 1997 [MUŞA98a] Muşatescu Carmen, Sisteme de operare volumul 1, Editura Cardinal, Craiova, 1998 [MUŞA98b] Muşatescu Carmen, Operating Systems – Memory management. Process Management. CPU Scheduling., Editura Radical, Craiova, 1998 [MUŞA99] Muşatescu Carmen, Sisteme de operare volumul 2, Editura Cardinal, Craiova, 1999 [MYER04] Myers G., The Art of Software Testing – Second Edition, John Wiley & Sons, 2004 [NIRO01] Nicolescu Ovidiu, Rosca Ion Gh., Stanciu Carmen, s.a., Sistemul informational managerial al organizatiei, Editura Economica, Bucuresti, 2001, 487 pag /27 pag. [NICO91] Nicora A.P., "Handbook for Software Reliability Measurement", JPL Document, June 20, 1991. [NIST97] National Institute of Standards and Technology (NIST). 1997. <http://www.nist.gov/itl/lab/nistirs/ir6025.htm>. [NOSC] NOSCA Gheorghe, Metode şi tehnici pentru optimizarea costului calitǎţii software, tezǎ de doctorat [NTAF88] Ntafos S. C., A Comparison of Some Structural Testing Strategies, IEEE Trans. Software Engineering, vol. 14, no. 6, June 1988, pp. 868-874 [ODǍG93] Odăgescu Ioan, Smeureanu Ion, Ştefănescu Irina, Programarea avansată a calculatoarelor personale, Editura Militară, Bucureşti, 1993 [OPPL98] Oppliger Rolf, Internet and Intranet Security, Artech House, 1998, ISBN 0- 89006-829-1 [ORT01a] Ort, E., The Java Compatibility Test Tools: Spec Trac, August 2001, http://developer.java.sun.com/developer/technicalArticles/JCPtools/. [ORT01b] Ort, E., The Java Compatibility Test Tools: JavaTest Harness, October 2001,http://developer.java.sun.com/developer/technicalArticles/ JCPtools2/. [PATR01] Patriciu V.V., Ene-Pietroşanu M., Bicǎ I., Vǎduva N., Securitatea comerţului electronic, Bucureşti, Editura Bic All, 2001 [PERRY95] Perry, W.E. 1995. Effective Methods for Software Testing. New York: John Wiley & Sons, Inc. [PETE00] Peters, James F., Pedrycz, Witold – Software Engineering – An Engineering Approach, John Wiley & Sons, Inc, 2000 [PIRL] PIRLOG Otilia, Modele de optimizare a calitǎţii datelor, tezǎ de doctorat [POCA] Pocatilu Paul, Costurile testǎrii software, biblioteca online www.ase.ro [POPA] POPA Marius Emanuel, Tehnici şi metode de evaluare a calitǎţii datelor, tezǎ de doctorat. [PRES87] Pressman R. S., Software Engineering. A Practitioner's Approach, McGraw-Hill, 1987 [PRES00] Pressman, Roger S. – Software Engineering – A Practitioner’s Approach, European Adaptation Fifth Edition, McGraw-Hill, 2000 [RAMA74] Ramamoorthy C. V., et al., Reliability and Integrity of Large Computer Programs; Lecture Notes in Computer Science Fachtagung ProzeiBrechner 1974, Springer, 1974 [RAMA82] Ramamoorthy C.V., Bastani F.B., “Software Reliability-Status and Perspectives”, IEEE Transactions on Software Engineering, SE-8(4), pag. 354-371, 1982. [ROLB92] Rome Laboratory, "Methodology for Software Reliability Prediction and Assessment", Technical Report RADC-TR-87-171; revised on Technical Report RL-TR-92-52, 1992. [ROSC00a] Roşca Ion Gh., Ţǎpuş N., Internet şi Intranet. Concepte şi aplicaţii, Ed. Economica, 2000 [ROSC00b] Rosca Ion Gh., Tapus N, Nastase Fl., Paiu O., Stanciu C. si un colectiv din UPB, Intranet, partea a II-a, Ed. ASE, 2000, 112 pag. [ROSC02a] Roşca Ion Gh., Cocianu Catalina-Lucia, Uscatu Cristian, Programarea calculatoarelor. Aplicatii, Editura ASE, 2002, 121 pag. [ROSC02b] Roşca I. Gh., Bodea C., Apostol C., Zamfir G., Informatica Instruirii, Editura Economică, 2002 [ROSC03] Rosca Ion Gh., Ghilic-Micu B., Cocianu Catalina-Lucia, Stoica Marian, Uscatu Cristian, Programarea calculatoarelor. Stiinta învatarii unui limbaj de programare. Teorie si aplicatii, Editura ASE, 2003, 218 pag. [ROSC04] Roşca, Ion Gh., Bucur, Cristina-Mihaela, Comerţul electronic: concepte, tehnologii şi aplicaţii. Bucuresti: Editura Economica, 2004 [SCHN96] Bruce Schneier, Applied Cryptography: Protocols, Algorithms, and Source Code in C, John Wiley & Sons, Inc, 1996. [SIEG96] Siegel, Shel, Object Oriented Software Testing: A Hierarchical Approach, Wiley Computer Publishing, 1996 [SILV91] Silver, Bill. Application of Software Test Measurement, Software Quality World. June 18, 1991 [SMEU01] Smeureanu Ion, Dârdală Marian, Programarea în limbajul C/C++, Editura CISON, Bucureşti, 2001 [SMEU04a] Smeureanu Ion, Dârdală Marian, Reveiu Adriana, VISUAL C# .NET, Editura CISON, Bucureşti, 2004, 267-307 [SMEU04b] Smeureanu I., Dardala M., Programarea în C/C++, Editura CISON, Bucureşti, 2004, pg. 60-75, 102-107 [SMEU04c] Smeureanu I., Dârdală M., Programarea orientată obiect în limbajul C++, Editura CISON, Bucureşti, 2004, pg..10-132, 186-212 [TAI87] Tai K. C., and H. K. Su, Test Generation for Boolean Expressions, Proc. COMPSAC '87, October 1987, pp. 278-283 [TAI89] Tai K. C., What to Do Beyond Branch Testing, ACM Software Engineering Notes, vol. 14, no. 2, April 1989, pp. 58-61 [TANE04] Tanenbaum Andrew, Computer Networks-Fourth Edition, Prentice Hall, 2004 [TATO95] Tatomir Michael - Caracteristici ale calitătii globale la sistemele de programe, teză de doctorat, A.S.E., Facultatea de Cibernetică, Statistică si Informatică Economică, Bucuresti, 1995 [TEOD95] Teodorescu Laurentiu - Metode statistice în analiza datelor obtinute prin metrici software - lucrare prezentată la Simpozionul National de Statistică, ASE, Bucuresti, decembrie 1995 [TEOD96] Teodorescuu Laurentiu - Optimizarea calitătii produselor program, referat prezentat în cadrul planului de pregătire a tezei de doctorat, A.S.E. Bucuresti, martie 1996 [TOPO75] Topor R. W., Interactive Program Verification Using Virtual Programs, Doctoral Dissertation, University of Edinburgh, Scotland, 1975. [VAN89] Van Vleck T., Three Questions About Each Bug You Find, ACM Software Engineering Notes, vol. 14, no. 5, July 1989, pp. 62-63 [WEIN93] Weinberg Gerald M. - Quality Software Management - First Order Measurement, Dorset House Publishing, New York, USA 1993 [WEYU88] Weyuker, Elaine J. The Evaluation of Program-Based Software Test Data Adequacy Criteria, Communications of the ACM. June 1988, Volume 31, Number 6 [WHIT80] White L. J., and Cohen E. I., A Domain Strategy for Program Testing, IEEE Trans. Software Engineering, vol. SE-6, no. 5, May 1980, pp. 247-257 [WILS95] Wilson, R.C. UNIX Test Tools and Benchmarks. New Jersey: Prentice Hall, Inc. 1995 [****1] http://www.mysqlphp.as.ro/index.htm [****2] http://www.tfhrc.gov/advanc/softwar/title.htm [****3] http://serg.telecom.lth.se/research/publications/ [****4] http://www.cs.huji.ac.il/course/2002/ [****5] http://www.cl.cam.ac.uk/~mjcg/Teaching/SpecVer1/SpecVer1.html [****6] http://en.wikipedia.org/wiki/ [****83] ANSII/IEEE std. 729-1983, IEEE Standard Glossary of Software Engineering Terminology; [****85] IEEE Transactions on Software Engineering vol. SE-11, nr.12, dec. 1985, voll. SE-13. nr.1, January 1986, Special Issue on Software Reliability, Part 1, Part 2; [****86] "ISO 8402 - International Standard - Quality Vocabular", 1986, Geneve, Switzerland; [****91] "ISO/IEC 9126 International Standard - Information Technology – Software product evaluation - Quality characteristics and guidelines for their use", 1991, Geneve, Switzerland;