{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:04:56Z","timestamp":1725566696527},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540306443"},{"type":"electronic","value":"9783540316145"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11591962_6","type":"book-chapter","created":{"date-parts":[[2005,11,18]],"date-time":"2005-11-18T22:46:12Z","timestamp":1132353972000},"page":"107-122","source":"Crossref","is-referenced-by-count":3,"title":["Assessing Real-Time Component Contracts Through Built-in Evolutionary Testing"],"prefix":"10.1007","author":[{"given":"Hans-Gerhard","family":"Gross","sequence":"first","affiliation":[]},{"given":"Nikolas","family":"Mayer","sequence":"additional","affiliation":[]},{"given":"Javier Paredes","family":"Riano","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Atkinson, C., Gross, H.-G.: Built-In Testing in Model-Driven, Component-Based Development. In: Workshop on Component-Based Development Processes, 7th International Conference on Software Reuse (ICSR-7), Austin, TX, April 15-19 (2002)"},{"issue":"7","key":"6_CR2","first-page":"38","volume":"32","author":"A. Beugnard","year":"1999","unstructured":"Beugnard, A., J\u00e9z\u00e9quel, J.M., Plouzeau, N., Watkins, D.: Making Components Contract- Aware. IEEE Software\u00a032(7), 38\u201344 (1999)","journal-title":"IEEE Software"},{"key":"6_CR3","volume-title":"Testing Object-Oriented Systems - Models, Pattern Tools","author":"R. Binder","year":"2000","unstructured":"Binder, R.: Testing Object-Oriented Systems - Models, Pattern Tools. Addison-Wesley, Reading (2000)"},{"key":"6_CR4","unstructured":"EODev, http:\/\/eodev.sourceforge.net"},{"key":"6_CR5","unstructured":"Fraunhofer, I. R.: System Specification. Technical Report of the Fraunhofer Institute for Graphical Data Processing, Darmstadt (2002)"},{"key":"6_CR6","unstructured":"GAJIT, http:\/\/www.micropraxis.com\/gajit\/index.html"},{"key":"6_CR7","unstructured":"GALib, http:\/\/lancet.mit.edu\/ga"},{"key":"6_CR8","unstructured":"GA Playground, http:\/\/www.aridolan.com\/ga\/gaa\/gaa.html"},{"key":"6_CR9","unstructured":"GAUL, http:\/\/gaul.sourceforge.net"},{"key":"6_CR10","unstructured":"Genetic Server and Genetic Library, http:\/\/www.nd.com\/genetic"},{"key":"6_CR11","volume-title":"Genetic Algorithms in Search, Optimization and Machine Learning","author":"D.E. Goldberg","year":"1989","unstructured":"Goldberg, D.E.: Genetic Algorithms in Search, Optimization and Machine Learning. Addison-Wesley, Reading (1989)"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Gross, H.-G., Jones, B.F., Eyres, D.E.: Evolutionary Algorithms for the Verification of Execution Time Bounds for Real-Time Software. In: IEE Workshop on Applicable Modeling, Verification and Analysis Techniques, London, UK (January 1999)","DOI":"10.1049\/ic:19990014"},{"key":"6_CR13","unstructured":"Gross, H.-G.: Measuring Evolutionary Testability of Real-Time Software. PhD Thesis, University of Glamorgan, Pontypridd, Wales (June 2000)"},{"key":"6_CR14","unstructured":"Gross, H.-G.: Built-In Contract Testing in Component-Based Application Engineering. In: CologNet Joint Workshop on Component-Based Software Development and Implementation Technology for Computational Logic, International Workshop on Logic Based Program Development and Transformation (LOPSTR), pp. 17\u201320 (2002)"},{"key":"6_CR15","unstructured":"Gross, H.-G.: An Evaluation of Dynamic Optimisation-based Worst-case Execution Time Analysis. In: 1st Intl. Conference on Information Technology: Prospects and Challenges in the 21st Century, Kathmandu, Nepal (2003)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Gross, H.-G., Mayer, N.F.: Search-Based Execution-Time Verification in Object-Oriented and Component-Based Real-Time System Development. In: 8th IEEE WS on Object-oriented Real-time Dependable Systems, Guadalajara, Mexico, January 2003, pp. 15\u201317 (2003)","DOI":"10.1109\/WORDS.2003.1218073"},{"key":"6_CR17","unstructured":"Gross, H.-G., Mayer, N.F.: Search-based Performance Evaluation with MARMOT. In: 1st Intl. Workshop on QoS in Compnent-based Software Engineering, Toulouse, France (2003)"},{"key":"6_CR18","volume-title":"Component-Based Software Testing with UML","author":"H.-G. Gross","year":"2004","unstructured":"Gross, H.-G.: Component-Based Software Testing with UML, September 2004. Springer, Heidelberg (2004)"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Hunt, J.: Testing Control Software using a Genetic Algorithm. Engineering Applications of Artificial Intelligence\u00a08(6) (1995)","DOI":"10.1016\/0952-1976(95)00049-6"},{"key":"6_CR20","unstructured":"J\u00e9z\u00e9quel, J.M., Deveaux, D., LeTraon, Y.: Reliable Objects: Lightweight Testing for OO Languages. IEEE Software (1999)"},{"key":"6_CR21","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs (1997)"},{"key":"6_CR22","unstructured":"Reussner, R.H.: Parameterisierte Vertr\u00e4ge zur Protokolladaption bei Software- Komponenten, Logos, Berlin (2001)"},{"key":"6_CR23","unstructured":"Reussner, R.H.: The Use of Parameterized Contracts for Architecting Systems with Software Components. 6th International on Component-Oriented Programming, Budapest (2001)"},{"key":"6_CR24","unstructured":"Reussner, R.H., Schmidt, W.H., Poernomo, I.H.: Reliability Prediction for Component- Based Software Architectures. In: 9th International Workshop on Component-Based Software Engineering, Lund (2002)"},{"key":"6_CR25","unstructured":"Santos, P., Ritter, T., Born, M.: Rapid Engineering of Collaborative and Adaptive Multimedia Systems on Top of CORBA Components. In: Irmscher, K. (ed.) Kommunikation in Verteilten Systemen, VDE, Offenbach (2003)"},{"key":"6_CR26","volume-title":"Parallel Problem Solving from Nature","author":"H.P. Schwefel","year":"1990","unstructured":"Schwefel, H.P., M\u00e4nner, R.: Parallel Problem Solving from Nature. Springer, Berlin (1990)"},{"key":"6_CR27","unstructured":"Sthamer, H.: The Automatic Generation of Software Test Data. PhD Thesis, University of Glamorgan, Pontypridd, Wales, UK (1995)"},{"key":"6_CR28","unstructured":"Sthamer, H., Baresel, A., Wegener, J.: Evolutionary Testing of Embedded Systems. In: 14th International Software Quality Week (QW 2001), San Francisco, USA (May 2001)"},{"key":"6_CR29","unstructured":"Sthamer, H., Wegener, J., Baresel, A.: Using Evolutionary Testing to Improve Efficiency and Quality in Software Testing. In: Proceedings of the 2nd Asia-Pacific Conference on Software Testing Analysis Review, Melbourne, Australia, July 22-24 (2002)"},{"key":"6_CR30","unstructured":"Tracey, N., Clark, J., Mander, K.: TheWay Forward for Unifying Dynamic Test-Case Generation: The Optimisation-Based Approach. In: IFIP Intl. Workshop on Dependable Computing and its Applications (DCIA), South Africa, January 1998, pp. 169-180 (1998)"},{"key":"6_CR31","unstructured":"Tracey, N.: A Search-Based Automated Test-Data Generation Framework for Safety-Critical Software. PhD Thesis, University of York, UK (2000)"},{"key":"6_CR32","volume-title":"Mathematics and its Applications","author":"P.J.M. Laarhoven Von","year":"1987","unstructured":"Von Laarhoven, P.J.M., Aarts, E.H.L.: Simulated Annealing: Theory and Applications. In: Mathematics and its Applications, Kluwer, Dordrecht (1987)"},{"key":"6_CR33","doi-asserted-by":"crossref","unstructured":"Wang, Y., King, G., Fayad, M., Patel, D., Court, I., Staples, G., Ross, M.: On Built-in Tests Reuse in Object-Oriented Framework Design. ACM Journal on Computing Surveys\u00a023(1) (2000)","DOI":"10.1145\/351936.351943"},{"key":"6_CR34","doi-asserted-by":"crossref","unstructured":"Wegener, J., Grochtmann, M.: Verifying Timing Constraints of Real-Time Systems by Means of Evolutionary Testing. Real-Time Systems\u00a03(15) (1998)","DOI":"10.1023\/A:1008096431840"},{"key":"6_CR35","unstructured":"Wegener, J., Sthamer, H., Baresel, A.: Application Fields for Evolutionary Testing. Eurostar 2001 Stockholm, Sweden (November 2001)"}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Development for Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11591962_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:02:36Z","timestamp":1605643356000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11591962_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540306443","9783540316145"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/11591962_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}