List of publications

Mutation Testing

Other Testing

Model-Driven Engineering

Education in Software Engineering

System Dependability

Other Software Engineering

Technical Reports

2021

Ø  A. Derezińska, S. Krutko, “Migration of Unit Tests of C# Programs”, In: W. Zamojski, J. Mazurkiewicz, J. Sugier, T. Walkowiak, J. Kacprzyk (Eds) Theory and Engineering of Dependable Computer Systems and Networks, Proceedings of the 16th International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 28 – July 2, 2021, Wrocław, Poland, AISC vol 1389, Springer, Cham, pp. 53-62, 2021 https://doi.org/10.1007/978-3-030-76773-0_6, pdf

Ø  A. Derezińska, A. Skupinska, “Using Type Analysis for Dealing with Incompetent Mutants in Mutation Testing of Python Programs,” Ali R., Kaindl H., Maciaszek L. A. (eds.), Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2021), SCITEPRESS – Science and Technology Publications, pp. 397-404, 2021, https://doi.org/10.5220/0010481103970404, pdf

2020

Ø  A. Derezińska, K. Kwaśnik, “Evaluation and improvement of web application quality – a case study,” W. Zamojski et al (Eds.) Theory and Applications of Dependable Computer Systems, Proc. of 15th Inter. Conf. DepCoS-RELCOMEX, AISC vol. 1173, Springer Cham, pp. 187-196, 2020, https://doi.org/10.1007/978-3-030-48256-5_19

Ø  A. Derezińska, K. Kwaśnik, “Performance-based Refactoring of Web Application: A Case of Public Transport,” Ali R., Kaindl H., Maciaszek L. A. (eds.), In Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2020) vol. 1, SCITEPRESS – Science and Technology Publications, ISBN 978-989-758-421-3, ss. 611-618, 2020, http://dx.doi.org/10.5220/0009797006110618, pdf

Ø  A. Derezinska, Ł. Zaremba, “Model-Driven Software Development Combined with Semantic Mutation of UML State Machines,” In: E. Damiani, G. Spanoudakis, L. Maciaszek (eds.) Evaluation of Novel Approaches to Software Engineering. ENASE 2019, Communications in Computer and Information Science vol. 1172, pp. 204-226, Springer, Cham, 2020, https://doi.org/10.1007/978-3-030-40223-5_10, pdf

Ø  A. Derezińska, M. Byczkowski, “Evaluation of Design Pattern Utilization and Software Metrics in C# Programs,” In: Zamojski W., Mazurkiewicz J., Sugier J., Walkowiak T., Kacprzyk J. (eds) Engineering in Dependability of Computer Systems and Networks. DepCoS-RELCOMEX 2019. Advances in Intelligent Systems and Computing, vol 987, pp. 132-142, Springer, Cham, 2020, https://doi.org/10.1007/978-3-030-19501-4_13, pdf

2019

Ø  A. Derezinska, Ł. Zaremba, “Mutating UML State Machine Behavior with Semantic Mutation Operators,” In: E. Damiani, G. Spanoudakis, L. Maciaszek (eds.) Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, pp. 385-393, SCITEPRESS, 2019, https://doi.org/10.5220/0007735003850393, pdf

Ø  A. Derezińska, M. Byczkowski, “Enhancements of Detecting Gang-of-Four Design Patterns in C# Programs,” In: L. Borzemski, J. Świątek, Z. Wilimowska (eds) Information Systems Architecture and Technology: Proceedings of 39th International Conference on Information Systems Architecture and Technology – ISAT 2018. ISAT 2018. Advances in Intelligent Systems and Computing, vol 852, pp. 277-286, Springer, Cham, 2019, https://doi.org/10.1007/978-3-319-99981-4_26, pdf

Ø  A. Derezinska, “Metrics in software development and evolution with design patterns,” In: R. Silhavy (eds) Proceedings of the 6th Computer Science On-line Conference 2018 (CSOC2018), Advances in Intelligent Systems and Computing, AISC, vol. 763, pp. 356-366, Springer, Cham, 2019, https://doi.org/10.1007/978-3-319-91186-1_37, pdf

2018

Ø  A. Derezińska, Ł. Zaremba, “Approaches to Semantic Mutation of Behavioral State Machines in Model-Driven Software Development,” In: Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, M. Ganzha, L. Maciaszek, M. Paprzycki (eds). ACSIS, vol. 15, pp 863–866, 2018, https://annals-csis.org/proceedings/2018/drp/313.html, http://dx.doi.org/10.15439/2018F313

Ø  A. Derezinska, “A Structure-Driven Process of Automated Refactoring to Design Patterns,” In: J. Świątek et al. (eds.), Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology – ISAT 2017: PART II, Advances in Intelligent Systems and Computing 656, Springer, Cham, 2018, pp 39-48, https://link.springer.com/chapter/10.1007/978-3-319-67229-8_4, DOI 10.1007/978-3-319-67229-8_4, pdf

Ø  K. Grochowski, W. Grabski, P. Gawkowski, A. Derezińska, I. Bluemke, "Dependability issues of parallel programming in measurement systems," Proc. SPIE 10808, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2018, 108082D (1 October 2018); https://doi.org/10.1117/12.2501577

2017

Ø  A. Derezińska, M. Rudnik, “Evaluation of Mutant Sampling Criteria in Object-Oriented Mutation Testing,” M. Ganzha, L. Maciaszek, M. Paprzycki (eds), Proceedings of the 2017 Federated Conference on Computer Science and Information Systems. ACSIS, Vol. 11, pp 1315–1324, 2017, https://annals-csis.org/proceedings/2017/drp/375.html, https://doi.org/10.15439/2017F375

Ø  A. Derezińska, M. Szczykulski, “Advances in Transformation of MARTE Profile Time Concepts in Model-Driven Software Development,” In: Silhavy R., Silhavy P., Prokopova Z., Senkerik R., Kominkova Oplatkova Z. (eds) Software Engineering Trends and Techniques in Intelligent Systems. CSOC 2017. Advances in Intelligent Systems and Computing, Vol 575, Springer, Cham, 2017, pp 385-395, https://link.springer.com/chapter/10.1007/978-3-319-57141-6_42, DOI: 10.1007/978-3-319-57141-6_42, pdf

Ø  A. Derezińska, M. Szczykulski, “Performance Evaluation of Impact of State Machine Transformation and Run-Time Library on a C# Application,” In: S. Kobayashi, A. Piegat, J. Pejaś, I. El Fray, J. Kacprzyk (eds.), Hard and Soft Computing for Artificial Intelligence, Multimedia and Security, AISC vol. 534, Springer Int. Pub., 2017, pp. 328-340, http://link.springer.com/chapter/10.1007/978-3-319-48429-7_30, DOI: 10.1007/978-3-319-48429-7_30

Ø  A. Derezinska, “Experiences in Teaching Model Transformation with the QVT Language,” In: P.Kosiuczenko, L. Madeyski, M. Ochodek, A. Paszkiewicz (eds.) Software Engineering Research for the Practice, Scientific Papers of the Polish Information Society Scientific Council, Warsaw, 2017, pp. 11-24, pdf

Mutation Testing

1.     A. Derezińska, A. Skupinska, “Using Type Analysis for Dealing with Incompetent Mutants in Mutation Testing of Python Programs,” Ali R., Kaindl H., Maciaszek L. A. (eds.), Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2021), SCITEPRESS – Science and Technology Publications, pp. 397-404, 2021, https://doi.org/10.5220/0010481103970404, pdf

2.     A. Derezińska, M. Rudnik, “Evaluation of Mutant Sampling Criteria in Object-Oriented Mutation Testing,” M. Ganzha, L. Maciaszek, M. Paprzycki (eds), Proceedings of the 2017 Federated Conference on Computer Science and Information Systems. ACSIS, Vol. 11, pp 1315–1324, 2017, https://annals-csis.org/proceedings/2017/drp/375.html, https://doi.org/10.15439/2017F375

3.     A. Derezińska, “Evaluation of Deletion Mutation Operators in Mutation Testing of C# Programs”, W. Zamojski et al. (eds), Dependability Engineering and Complex Systems, Proceedings of the Eleventh  International Conference DepCoS-RELCOMEX, AISC 470, Springer-Verlag Berlin Heidelberg, pp. 97-108, 2016, http://link.springer.com/chapter/10.1007%2F978-3-319-39639-2_9 DOI: 10.1007/978-3-319-39639-2_9

4.     A. Derezińska, P. Trzpil, “Mutation Testing Process Combined with Test-Driven Development in .NET Environment”, W. Zamojski, J. Mazurkiewicz, J. Sugier, T. Walkowiak, J. Kacprzyk (Eds.) Theory and Engineering of Complex Systems and Dependability, Proc. of the 10th International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, Advances in Intelligent Systems and Computing vol. 365, Springer, pp. 131-140, 2015, http://link.springer.com/chapter/10.1007/978-3-319-19216-1_13, DOI:10.1007/978-3-319-19216-1_13

5.     A. Derezińska, K. Hałas, “Improving Mutation Testing Process of Python Programs”, Silhavy, R., Senkerik, R., Oplatkova, Z.K., Silhavy, P., Prokopova, Z. (Eds.) Software Engineering in Intelligent Systems, AISC, vol. 349, Springer, pp. 233-242, 2015, http://link.springer.com/chapter/10.1007/978-3-319-18473-9_23, DOI: 10.1007/978-3-319-18473-9_23, pdf

6.     A. Derezińska, “Toward Generalization of Mutant Clustering Results in Mutation Testing”, A. Wiliński, I.E. Fray, J. Pejaś (Eds.) Soft Computing in Computer and Information Science, AISC, vol. 342, pp. 395-407, Springer 2015, http://link.springer.com/chapter/10.1007/978-3-319-15147-2_33, DOI:10.1007/978-3-319-15147-2_33, pdf

7.     A. Derezińska, K. Hałas, “Analysis of mutation operators for the Python language,” W. Zamojski et al. (eds.), Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, Advances in Intelligent and Soft Computing vol. 286, Springer Inter. Pub., Switzerland, pp. 155-164, 2014, http://link.springer.com/chapter/10.1007/978-3-319-07013-1_15, DOI: 10.1007/978-3-319-07013-1_15, pdf

8.     A. Derezińska, K. Hałas, “Experimental Evaluation of Mutation Testing Approaches to Python Programs,” 9th Inter. Workshop on Mutation Analysis '14 col at ICST, Proc. of 7th IEEE Inter. Conf. Software Testing Verification and Validation Workshops (ICSTW), IEEE Comp. Soc., pp 156-164, 2014, http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6825653, DOI: 10.1109/ICSTW.2014.24, pdf

9.     A. Derezińska, P. Trzpil, “Mutation Testing of ASP.NET MVC”,  J. Swacha (Ed.) Advances in Software Development, Scientific Papers of the Polish Information Processing Society Scientific Council, Warsaw 2013, pp. 127-136, pdf

10.  A. Derezińska, "A Quality Estimation of Mutation Clustering in C# Programs”, W. Zamojski et al. (eds.) New Results in Dependability and Computer Systems, AISC vol. 224, pp. 183-194, Springer International Publishing, Switzerland, 2013, DOI: 10.1007/978-3-319-00945-2_11, pdf

11.  A. Derezińska, M. Rudnik, “Quality Evaluation of Object-Oriented and Standard Mutation Operators Applied to C# Programs”, C.A. Furia and S. Nanz (Eds.): TOOLS Europe 2012, LNCS 7304, pp. 42–57, Springer Berlin Heildelberg, 2012, http://www.springerlink.com/content/p5428p256k742753/ DOI 10.1007/978-3-642-30561-0_5, pdf

12.  A. Derezińska, A. Szustek, "Object-Oriented Testing Capabilities and Performance Evaluation of the C# Mutation System", In: Szmuc, T., Szpyrka, M., Zendulka, J. (eds.) Proc. 4th IFIP TC2 Central and Eastern European Conference on Software Engineering Techniques CEE-SET 2009, LNCS, vol. 7054, pp. 229-242, Springer, 2012, http://www.springerlink.com/content/14v10r4211794364 DOI:10.1007/978-3-642-28038-2_18, pdf

13.  A. Derezińska, K. Kowalski, "Object-Oriented Mutation Applied in Common Intermediate Language Programs Originated from C#", Mutation Workshop '11 col at ICSTW, Proc. of IEEE 4th Inter. Conf. Software Testing Verification and Validation Workshops (ICSTW), IEEE Comp. Soc., 2011, pp. 342 - 350, http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5954432 DOI: 10.1109/ICSTW.2011.54, pdf

14.  A. Derezińska, “Classification of advanced mutation operators of C# language”, L. Borzemski et al. (Eds.) Information Systems Architecture and Technology, New Developments in Web-Age Information Systems, Oficyna Wydawnicza Politechniki Wrocławskiej, Wrocław 2010, Poland, pp.261-271, pdf

15.  A. Derezińska, "Analysis of emerging features of C# language towards mutation testing", in J. Mazurkiewicz, J. Sugier, T. Walkowiak, W. Zamojski (Eds). Models and Methodology of System Development, Monographs of System Dependability vol. 1, Oficyna Wydawnicza Politechniki Wrocławskiej, Wrocław 2010, Poland, pp.47-59, pdf

16.  A. Derezińska, "An Experimental Case Study to Applying Mutation Analysis for SQL Queries" in  Proc. of Inter. Multiconf. on Computer Science and Information Technology, IMCSIT, Mrągowo, Poland, 12-14 Oct. 2009, pp. 559-566,  http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5352785DOI: 10.1109/IMCSIT.2009.5352785

17.  A. Derezińska A. Szustek, "Tool-supported mutation approach for verification of C# programs", Proc. of  Inter. Conf. on Dependability of Computer Systems, DepCoS-RELCOMEX 2008, Szklarska Poręba, Poland, 26-28 June  2008,  IEEE Comp. Soc. USA 2008, pp. 261-268, http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4573065 DOI: 10.1109/DepCoS-RELCOMEX.2008.51

18.  A. Derezińska, A. Szustek, "CREAM - a system for object-oriented mutation of C# programs", red. S.Szczepański, M. Kłosowski, Z. Felendzer, Gdańsk University of Technology Faculty ETI Annals, No 5, Information Technologies vol.13, Gdańsk 2007, pp. 389-406, pdf

19.   A. Derezińska, "Advanced mutation operators applicable in C# programs", in IFIP International Federation for Information Processing, Volume 227, Software Engineering Techniques: Design for Quality, ed. K. Sacha, (Boston, Springer), 2006, pp. 283-288,  http://www.springerlink.com/content/a52561r076050275/ DOI:10.1007/978-0-387-39388-9_27

20.  A. Derezińska, "Quality assessment of mutation operators dedicated for C# programs", in Proc of 6th Inter. Conf. on Quality Software, QSIC'06, Beijing, China, Oct. 2006, IEEE Computer Soc. Press, Los Alamitos California, 2006, pp.227-234 , http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=4032289 DOI: 10.1109/QSIC.2006.51

21.  A. Derezińska, “Object-Oriented Mutation to Assess the Quality of Tests”, Proc. of the 29th Euromicro Conf. (short paper), IEEE Comp. Society, Los Alamitos, California, 2003, pp. 417-420, http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=1231626 DOI: 10.1109/EURMIC.2003.1231626

22.  A. Derezińska, Analiza testów maksymalizujących pokrycia i wykrywalność mutacji programów, III Kraj. Konf. Inżynierii Oprogramowania, Otwock, październik 2001, pp. 417-426 (in polish)

Tech. Reports on Mutation Testing: [TR 1], [TR 2],[TR 4], [TR 7], [TR 9], [TR 11]

Other Testing

23.  A. Derezińska, S. Krutko, “Migration of Unit Tests of C# Programs”, W. Zamojski, J. Mazurkiewicz, J. Sugier, T. Walkowiak, J. Kacprzyk (Eds) Theory and Engineering of Dependable Computer Systems and Networks, Proceedings of the 16th International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 28 – July 2, 2021, Wrocław, Poland, AISC vol 1389, Springer, Cham, pp. 53-62, 2021 https://doi.org/10.1007/978-3-030-76773-0_6, pdf

24.  A. Derezińska, K. Sarba, "Distributed environment integrating tools for software testing", in K.Elleithy (Ed). Advanced Techniques in Computing Sciences and Software Engineering, Springer Netherlands, 2010, pp. 545-550, http://www.springerlink.com/content/r6826264345w9221 DOI: 10.1007/978-90-481-3660-5

25.  A. Derezińska, K. Sarba, "Wspomaganie testowania oprogramowania przez integrację narzędzi w środowisku rozproszonym", red. Z. Huzar, Z. Mazur, Inżynieria oprogramowania - od teorii do praktyki, WKiŁ, Warszawa 2008, str. 219-229 (in. polish) (ang. Software testing support via integration of tools in distributed environment)

26.  A. Derezińska, "Experiences from an Empirical study of Programs Code Coverage", in T. Sobh (Ed.) Advances in computer and information sciences and engineering, Springer Science+Business Media B.V., 2008, pp. 57-62,   http://www.springerlink.com/content/jg560185w66u4k47/ DOI:10.1007/978-1-4020-8741-7_11

27.  A. Derezińska, K. Sarba, P. Gawkowski.: "Towards the analysis of relation between line coverage and assembly instruction coverage", Annals Gdańsk University of Technology Faculty ETI, No 6, Information Technologies vol.16,  Gdańsk 2008, pp. 269-274, pdf

28.  A. Derezińska, T. Małek, "Experiences in Testing Automation of a Family of Functional- and GUI-similar Programs", International Journal of Computer Science & Applications, Vol. 4, No. 1, 2007, pp. 13-26,  http://www.tmrfindia.org/ijcsa/v41.html

29.  A. Derezińska, T. Małek, "Unified automatic testing of a GUI applications' family on an example of RSS aggregators", In Proc. of 1st Inter. Multiconf. on Computer Science and Information Technology, XXII Autumn Meeting of Polish Information Processing Society, Wisła, Poland, 6-10 Nov. 2006, pp. 549-559, pdf

         Tech. Reports on other Testing: [TR 7]

Model-Driven Engineering

30.  A. Derezinska, Ł. Zaremba, “Model-Driven Software Development Combined with Semantic Mutation of UML State Machines,” In: E. Damiani, G. Spanoudakis, L. Maciaszek (eds.) Evaluation of Novel Approaches to Software Engineering. ENASE 2019, Communications in Computer and Information Science vol. 1172, pp. 204-226, Springer, Cham, 2020, https://doi.org/10.1007/978-3-030-40223-5_10, pdf

31.  A. Derezińska, M. Byczkowski, “Evaluation of Design Pattern Utilization and Software Metrics in C# Programs,” In: Zamojski W., Mazurkiewicz J., Sugier J., Walkowiak T., Kacprzyk J. (eds) Engineering in Dependability of Computer Systems and Networks. DepCoS-RELCOMEX 2019. Advances in Intelligent Systems and Computing, vol 987, pp. 132-142, Springer, Cham, 2020, https://doi.org/10.1007/978-3-030-19501-4_13, pdf

32.  A. Derezinska, Ł. Zaremba, “Mutating UML State Machine Behavior with Semantic Mutation Operators,” In: E. Damiani, G. Spanoudakis, L. Maciaszek (eds.) Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, pp. 385-393, SCITEPRESS, 2019, https://doi.org/10.5220/0007735003850393, pdf

33.  A. Derezińska, M. Byczkowski, “Enhancements of Detecting Gang-of-Four Design Patterns in C# Programs,” In: L. Borzemski, J. Świątek, Z. Wilimowska (eds) Information Systems Architecture and Technology: Proceedings of 39th International Conference on Information Systems Architecture and Technology – ISAT 2018. ISAT 2018. Advances in Intelligent Systems and Computing, vol 852, pp. 277-286, Springer, Cham, 2019, https://doi.org/10.1007/978-3-319-99981-4_26, pdf

34.  A. Derezinska, “Metrics in software development and evolution with design patterns,” In: R. Silhavy (eds) Proceedings of the 6th Computer Science On-line Conference 2018 (CSOC2018), Advances in Intelligent Systems and Computing, AISC, vol. 763, pp. 356-366, Springer, Cham, 2019, https://doi.org/10.1007/978-3-319-91186-1_37, pdf

35.  A. Derezińska, Ł. Zaremba, “Approaches to Semantic Mutation of Behavioral State Machines in Model-Driven Software Development,” In: Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, M. Ganzha, L. Maciaszek, M. Paprzycki (eds). ACSIS, vol. 15, pp 863–866, 2018, https://annals-csis.org/proceedings/2018/drp/313.html, http://dx.doi.org/10.15439/2018F313

36.  A. Derezinska, “A Structure-Driven Process of Automated Refactoring to Design Patterns,” In: J. Świątek et al. (eds.), Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology – ISAT 2017: PART II, Advances in Intelligent Systems and Computing 656, Springer, Cham, 2018, pp 39-48, https://link.springer.com/chapter/10.1007/978-3-319-67229-8_4, DOI 10.1007/978-3-319-67229-8_4, pdf

37.  A. Derezińska, M. Szczykulski, “Advances in Transformation of MARTE Profile Time Concepts in Model-Driven Software Development,” In: Silhavy R., Silhavy P., Prokopova Z., Senkerik R., Kominkova Oplatkova Z. (eds) Software Engineering Trends and Techniques in Intelligent Systems. CSOC 2017. Advances in Intelligent Systems and Computing, Vol 575, Springer, Cham, 2017, pp 385-395, https://link.springer.com/chapter/10.1007/978-3-319-57141-6_42, DOI: 10.1007/978-3-319-57141-6_42, pdf

38.  A. Derezińska, M. Szczykulski, “Performance Evaluation of Impact of State Machine Transformation and Run-Time Library on a C# Application,” In: S. Kobayashi, A. Piegat, J. Pejaś, I. El Fray, J. Kacprzyk (eds.), Hard and Soft Computing for Artificial Intelligence, Multimedia and Security, AISC vol. 534, Springer Int. Pub., 2017, pp. 328-340, http://link.springer.com/chapter/10.1007/978-3-319-48429-7_30, DOI: 10.1007/978-3-319-48429-7_30

39.  A. Derezińska, K. Redosz, “Model-Driven Engineering approach to evaluation of remote controller of movement assistant system”, A. Gruca et al (eds.), Man-Machine Interactions 4, Proc. of ICMMI 2015, In: Advances in Intelligent Systems and Computing vol. 391, Springer, 2016, pp 93-102,  http://link.springer.com/chapter/10.1007%2F978-3-319-23437-3_7, DOI: 10.1007/978-3-319-23437-3_7

40.  A. Derezińska, M. Szczykulski, “Application of time concepts from the MARTE profile in a Model-Driven Development case study,” Przeglad Elektrotechniczny (Review on Electrical Engineering), vol 2015, No 11, pp. 178-181, 2015, ISSN 0033-2097, http://pe.org.pl/articles/2015/11/43.pdf, DOI:10.15199/48.2015.11.43

41.  A. Derezińska, P. Ołtarzewski, “Evaluation of the Contract-Aware Software Development Process in a Controlled Experiment”, In: K. Elleithy, T. Sobh (Eds), New Trends in Networking, Computing, E-learning, System Sciences, and Engineering, LNEE vol. 312, pp. 365-372, Springer 2015, http://link.springer.com/chapter/10.1007/978-3-319-06764-3_45, DOI: 10.1007/978-3-319-06764-3_45, pdf

42.  A. Derezińska, K. Redosz, “Reuse of Project Code in Model to Code Transformation”, L. Borzemski at al. (Eds), Information Systems Architecture and Technology, Contemporary Approaches to Design and Evaluation of Information Systems, Oficyna Wydawnicza Politechniki Wrocławskiej, Wrocław, Poland, 2014, pp.79-88, ISBN 978-83-7493-855-6, pdf

43.  A. Derezińska, M. Szczykulski, "Towards C# Application Development using UML State Machines – a Case Study", T. Sobh, K. Elleithy (Eds.) Emerging Trends in Computing, Informatics, System Sciences, and Engineering, Lecture Notes in Electrical Engineering vol. 151, pp. 793-803, Springer, 2013 http://www.springerlink.com/content/r472xnl5317t10w1/ DOI: 10.1007/978-1-4614-3558-7_68, pdf

44.  A. Derezińska, M. Szczykulski, “Interpretation Problems in Code Generation from UML State Machines - a Comparative Study”, T. Kwater (ed.) Computing in Science and Technology 2011: Monographs in Applied Informatics, pp. 36-50, Department of Applied Informatics Faculty of Applied Informatics and Mathematics Warsaw University of Life Sciences, 2012, pdf

45.  A. Derezińska, P. Ołtarzewski, “Towards Specialization of the Contract-Aware Software Development Process”, M. Bajec and J. Eder (Eds.): CAiSE 2012 Workshops, LNBIP 112, pp. 494–501, Springer Berlin Heidelberg, 2012 http://www.springerlink.com/content/x6587l60k0445806/ DOI: 10.1007/978-3-642-31069-0_40, pdf

46.  A. Derezińska, M. Szczykulski, “Modelowanie i generacja kodu dla klas i maszyn stanowych UML z elementami czasu z profilu MARTE”, w L. Trybus,  S. Samolej (Red.) Projektowanie, analiza i implementacja systemów czasu rzeczywistego, ss. 87-96, WKiŁ, Warszawa 2011, (ang. Modeling and code generation of UML classes and state machines with time elements of the MARTE profile)

47.  A. Derezińska, P. Ołtarzewski, “Business Software Development Process Combining Model-Driven and Contract-Based Approaches”, in P. Jałowiecki,  P. Łukasiewicz, A. Orłowski (eds.) Information Systems in Management XI, Data Bases, Distant Learning, and Web Solutions Technologies, pp. 7-17, WULS Press, Warsaw, 2011, http://isim.wzim.sggw.pl/resources/ISIM_XI_2011.pdf

48.  A. Derezińska, P. Ołtarzewski, „Code Generation of Contracts Using OCL Tools”, L. Borzemski, et al. (Eds.) Information Systems Architecture and Technology, Web Information Systems Engineering, Knowledge Discovery and Hybrid Computing, Oficyna Wydawnicza Politechniki Wrocławskiej, Wrocław, Poland, pp. 235-244, 2011, ISBN 978-83-7493-630-9, pdf

49.  A. Derezińska, P. Ołtarzewski, “Model-Driven Engineering support for building C# applications”, in T. Sobh, K. Elleithy (Eds) Innovations in Computing Sciences and Software Engineering, 2010, Springer, pp. 449-454, ISBN 978-90-481-9111-6, http://www.springerlink.com/content/q552536748871642/ DOI:10.1007/978-90-481-9112-3_76, pdf

50.  A. Derezińska, M. Szczykulski, "Tworzenie systemu z wykorzystaniem współpracujących maszyn stanowych", w J. Górski, C. Orłowski (Red.) Inżynieria oprogramowania w procesach integracji systemów informatycznych, PWNT (Pomorski Wydawnictwo Naukowo-Techniczne) Gdańsk 2010, Polska, Rozdz. 15, pp. 113-120, (ang. System creation based on cooperating state machines.)

51.  A. Derezińska, M. Szczykulski, "Tracing of state machine execution in model-driven development framework",  in A. Konczakowska, M. Hasse (Eds.), IEEE Explore Proc. of the 2nd Int. Conf. on Information Technology, ICIT'2010, 28-30 June 2010, Gdańsk, Poland, pp. 109-112, http://ieeexplore.ieee.org/document/5553380/, pdf

52.  A. Derezińska, J. Zawłocki, "Application of Automata-Based Approach for Specification of Model Transformation Strategies", in S. Soomro (Ed.) Engineering the Computer Science and IT, In-Tech, 2009, pp. 169-192, ISBN 978-953-307-012-4, http://www.sciyo.com/articles/show/title/application-of-automata-based-approach-for-specification-of-model-transformation-strategies DOI: 10.5772/7761

53.  A. Derezińska, R. Pilitowski, "Realization of UML class and state machine models in the C# Code Generation and Execution Framework", Informatica vol. 33, no 4, Nov. 2009, pp. 431-440, ISSN 0350-5596, http://www.informatica.si/index.php/informatica/article/view/260/

54.  P. Ołtarzewski, A. Derezińska, "Wsparcie dla inżynierii opartej na modelach i tworzenia aplikacji w C#", w W. Dąbrowski, A. Stasiak (Red.) Od modelu do wdrożenia Kierunki badań i zastosowań inżynierii oprogramowania, WKŁ Warszawa, 2009, pp. 215-225  (in polish) (ang. Tool support for Model Driven Engineering towards C# applications)

55.  A. Derezińska, R. Pilitowski, "Interpretation of History Pseudostates in Orthogonal States of UML State Machines", Yishai A. Feldman, Donald H. Kraft, Tsvi Kuflik (Eds.): Next Generation Information Technologies and Systems, 7th International Conference, NGITS'09,  LNCS 5831, Springer 2009, pp. 26-37, http://www.springerlink.com/content/978-3-642-04940-8/ DOI:10.1007/978-3-642-04941-5_5

56.  A. Derezińska, R. Pilitowski, "Correctness issues of UML Class and State Machine Models in the C# Code Generation and Execution Framework" in  Proc. of Inter. Multiconf. on Computer Science and Information Technology, IMCSIT'08, Vol. 3,  2008,  pp. 517-524, , http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4747293 DOI: 10.1109/IMCSIT.2008.4747293

57.  A. Derezińska, J. Zawłocki, "Towards Model Transformation - A Case Study of Generic Framework for Traceability in Object-Oriented Designs", IADIS International Journal on Computer Science and Information Systems, Vol 3, No 1 April 2008, pp. 29-43. http://www.iadisportal.org/ijcsis/vol3_numb1.html, pdf

58.  A.Derezińska, J.Zawłocki, "Application of model transformation in the generic framework for traceability", in M. Ganzha, M. Paprzycki, T. Pełech-Pilichowski (Eds.) Proc. of the International Multiconference on Computer Science and Information Technology, Vol. 2, PIPS, Katowice,  2007, pp. 715-724,

59.  A. Derezińska, R. Pilitowski, "Event processing in code generation and execution framework of UML state machines", in L. Madeyski, M. Ochodek, D. Weiss, J. Zendulka (Eds.) Software engineering in progress,  Nakom, Poznań, 2007, pp.80-92. pdf

60.  A. Derezińska, A. Rybicka: "Wspomaganie nauczania i wykorzystania wzorców projektowych", red. A. Jaszkiewicz, B. Walter, A. Wojciechowski, "Zwinność i dyscyplina w inżynierii oprogramowania", Nakom, Poznań, 2007, str. 59-71, (in polish) (ang. Supporting design patterns learning and using)

61.  R. Pilitowski, A. Derezińska, "Code generation and execution framework for UML 2.0 classes and state machines", in T. Sobh (Ed.) Innovations and Advanced Techniques in Computer and Information Sciences and Engineering, Springer, Dordrecht 2007, pp. 421-427, https://link.springer.com/chapter/10.1007/978-1-4020-6268-1_75, DOI:10.1007/978-1-4020-6268-1_75, pdf

62.  A. Derezińska, J. Zawłocki, "Generyczna platforma do automatycznego śledzenia zależności w projektach obiektowych", red. S.Szczepański, M. Kłosowski, Z. Felendzer, Annals Gdańsk University of Technology Faculty ETI, No 5, Information Technologies vol.13, Gdańsk 2007, s. 291-298, (in polish) (ang. Generic framework for automatic traceability in object-oriented designs).

63.  A. Derezińska "Specification of Dependency Areas in UML Designs", in Annales UMCS Informatica AI, Vol. 4, no 6, 2006, pp. 72-85. http://www.annales.umcs.lublin.pl/annales_informatyka.php

A. Derezińska "Specification of Dependency Areas in UML Designs", in Conf. Proc. of XXI Autumn Meeting of Polish Information Processing Society 5-9 XII, Wisła , Polska, 2005, pp. 49-57.

64.  A. Derezińska, I. Bluemke: “A Framework for Identification of Dependency Areas in UML Designs”, Proceedings of Conference on Software Engineering and Application, SEA'05, IASTED,  Phoenix, Arizona, USA, November 14-16, Editor: W.-T. Tsai and M.H. Hamza, Acta Press, 2005, pp. 177-182, http://www.actapress.com/Content_of_Proceeding.aspx?proceedingID=351

65.  A. Derezińska, “Reasoning about Traceability in Imperfect UML Projects”, Foundations on Computing and Decision Sciences, Pub. House of Poznan Univ. of Technology, Poznań , Vol. 29, No. 1-2, 2004, pp.43-58, ISSN 0867-6356, http://fcds.cs.put.poznan.pl/FCDS2/ArticleDetails.aspx?articleId=53

66.  A. Derezińska, “Traceability Propagation in the Object-Oriented Project”, Z. Huzar, Z. Mazur (Eds.) Problems and Methods of Software Engineering, WNT, Wrocław, 2003 p. 105-119, (in polish) (Śledzenie propagacji zależności w projekcie obiektowym, Problemy i metody inżynierii oprogramowania)

Tech. Reports on Model-Driven Engineering: [TR 3], [TR 5], [TR 6]

Education in Software Engineering

67.  A. Derezinska, “Experiences in Teaching Model Transformation with the QVT Language,” In: P.Kosiuczenko, L. Madeyski, M. Ochodek, A. Paszkiewicz (eds.) Software Engineering Research for the Practice, Scientific Papers of the Polish Information Society Scientific Council, Warsaw, 2017, pp. 11-24, pdf

68.  D. Adamik, A. Derezińska, "Automatyczne wspomaganie tworzenia zestawów testowych do oceny wiedzy studentów", Gdańsk University of Technology Faculty ETI Annals, No 4,  Information Technologies vol. 11, Gdańsk 2006, pp. 316-824 (in polish) (ang. Automatic Support for Composing Test Sheets for Students' Knowledge Evaluation)

69.  I. Bluemke, A. Derezińska: “Experiences of Software Engineering Training” , in Annales UMCS Informatica AI, Vol. 4, no 3, 2006, pp. 34-44. http://www.annales.umcs.lublin.pl/annales_informatyka.php

I. Bluemke, A. Derezińska: “Experiences of Software Engineering Training”, in Conf. Proc. of XXI Autumn Meeting of Polish Information Processing Society 5-9 XII, Wisła , Polska, 2005, pp. 19-25.

70.  I. Bluemke, A. Derezińska: "Internet Laboratory Instructions for Advanced Software Engineering Course", chapter in Ed. K. Zieliński, T. Szmuc, " Software Engineering: Evolution and Emerging Technologies", Frontiers in Artificial Intelligence and Applications vol. 130, IOS Press, 2005, pp. 160-171, ISBN 978-1-58603-559-4, pdf

71.  I. Bluemke, A. Derezińska, M. Nowacki, P. Radziszewski: „Internetowa Instrukcja Laboratoryjna do Inżynierii Oprogramowania 2” , Gdańsk University of Technology Faculty ETI Annals, No 3, Information Technologies vol. 7, 2005, pp.547-554 (in polish) (ang. Internet Laboratory Directions for Software Engineering 2 Course)

System Dependability

72.  K. Grochowski, W. Grabski, P. Gawkowski, A. Derezińska, I. Bluemke, "Dependability issues of parallel programming in measurement systems," Proc. SPIE 10808, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2018, 108082D (1 October 2018); https://doi.org/10.1117/12.2501577

73.  A. Derezińska, “Estimating Dependability of Parallel FFT Application Using Fault Injection”, in Proc of Int. Conf. on Parallel Computing in Electr. Engineering, 7-10 Sept. 2004, Drezno, IEEE Comp. Soc, 2004, pp. 240-245, http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=1376763 DOI:10.1109/PCEE.2004.32

74.  A. Derezińska, “Dependability Evaluation by Fault Injection into Multithreaded Application”, Proc. of 7th IEEE Workshop of Design and Diagnostics of Electronic Circuits and Systems, (short paper), Stara Lesna, Slovakia, April 18-21, 2004, pp. 167-172, pdf

75.  A. Derezińska, J. Sosnowski, “Experimental Checking of Fault Susceptibility in a Parallel Algorithm”, Proc. of Int. Conf. on Parallel Computing in Electrical Engineering,  IEEE Comp. Society, 2002, pp.33-38, http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=1115193 DOI:10.1109/PCEE.2002.1115193

76.  A. Derezińska, „Strategie diagnostyki oraz zbieranie i analiza wyników testów w systemach MIMD”, Praca doktorska, Politechnika Warszawska, 2002 (Phd Thesis in polish) (ang. Diagnostic strategies, collecting of test results and their analysis in MIMD systems)

77.  A. Derezińska, J. Sosnowski, “Improving diagnostic accuracy in exploratory testing of MIMD systems”, web of EWDC'11 Budapest , 2000, pdf

78.  A. Derezińska, J. Sosnowski, “Enhanced diagnostics of MIMD systems”, Proc of Europ. Workshop on Dependable Computing (EWDC-10), Vienna , May, 1999, pp.129-134.

79.  A. Derezińska, “Parallel software for exploratory diagnostics in MIMD systems”, Proc. of Int. Conf. on Parallel Computing in Electrical Engineering Parelec'98, Białystok, Sept. 1998, pp.109-114.

80.  A. Derezińska, J. Sosnowski, “Improving diagnostic software in transputer systems”, EDCC-2 Companion Workshop on Dependable computing, Gliwice, 1996, pp.103-110.

81.  A. Derezińska, J. Sosnowski, “Dissemination of test results in multiprocessor systems”, Proc. of International Workshop on Parallel Processing by Cellular Automata and Arrays, Parcella'96, Akademie Verlag, 1996, pp.93-100,  ISBN 3-05-501750-1

82.  A. Derezińska, J. Sosnowski, “Collection of test results in multiprocessor systems”, Proc. Krajowe Sympozjum Telekomunikacji, Bydgoszcz, 1995, pp.400-409.

83.  A. Derezińska, J. Sosnowski, “Exploratory diagnostics of MIMD systems”, Proc. of EUROMICRO'95, 1995, pp.421-428.

84.  A Derezińska, J. Sosnowski, “Distributed system-level diagnosis”, Proc. of DIMAS'95, Kraków, 1995, pp.140-147.

85.  A. Derezińska, J. Sosnowski, “Distributed diagnosis of transputer systems”, Proc. of the 8th Symposium on Microcomputer and Microprocessor Applications, Budapest 1994, pp.118-128.

86.  J. Sosnowski, A. Derezińska, I. Bluemke, “Autodiagnostics for transputer systems”, Microprogramming & Microprocessing, 39/1993 pp. 115-118, http://dx.doi.org/10.1016/0165-6074(93)90069-W

Tech. Reports on System Dependability: [TR 10], [TR 12], [TR 13], [TR 14], [TR 15], [TR 16], [TR 17], [TR 18], [TR 19], [TR 20], [TR 21], [TR 22], [TR 23]

Other Software Engineering

87.  A. Derezińska, K. Kwaśnik, “Evaluation and improvement of web application quality – a case study,” W. Zamojski et al (Eds.) Theory and Applications of Dependable Computer Systems, Proc. of 15th Inter. Conf. DepCoS-RELCOMEX, AISC  1173, Springer Cham, pp. 187-196, 2020, https://doi.org/10.1007/978-3-030-48256-5_19

88.  A. Derezińska, K. Kwaśnik, “Performance-based Refactoring of Web Application: A Case of Public Transport,” Ali R., Kaindl H., Maciaszek L. A. (eds.), In Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2020) vol. 1, SCITEPRESS – Science and Technology Publications, ISBN 978-989-758-421-3, ss. 611-618, 2020, http://dx.doi.org/10.5220/0009797006110618, pdf

89.  A. Derezińska, "Passenger-system interaction in Personal Rapid Transit system", Z. Wilimowska et al. (Eds.) Information Systems Architecture and Technology, IT Models in Management Process, Oficyna Wydawnicza Politechniki Wrocławskiej, Wrocław Poland, pp.229-239, 2010.

90.  J. Mieścicki, A. Derezińska, “Event-driven Nets and the modelling of a LAN with local CSMA-CD protocol”, Bulletin of the Polish Academy of Sciences, Technical Sciences, Vol.40, No.4,  pp.395-410, ISSN 0239-7528, 1992.

Tech. Reports on Distributed System Modelling: [TR 24], [TR 25], [TR 26], [TR 27]

Technical Reports of Institute of Computer Science, Warsaw University of Technology

TR 1.     A. Derezińska, K. Hałas, Operators for Mutation Testing of Python Programs, ICS Research Report 2/14, 2014, pdf

TR 2.     A. Derezińska, M. Rudnik, Empirical Evaluation of Cost Reduction Techniques of Mutation Testing for C# Programs, ICS Research Report 1/12, 2012

TR 3.     A. Derezińska, M. Szczykulski, From UML State Machines to Code Execution - Dealing with Interpretation Problems, ICS Research Report 10/10, 2010

TR 4.     A. Derezińska, K. Kowalski, Advances in mutation testing of C# programs, ICS Research Report 4/10, 2010.

TR 5.     A. Derezińska, J. Zawłocki, Automata-Based Approach for Specification of Traceability Strategies in Object-Oriented Projects, ICS Research Report  11/08, 2008

TR 6.     A. Derezińska, R. Pilitowski, Towards interpretation of history pseudostates of UML state machines, ICS Research Report 9/08, 2008

TR 7.     A. Derezińska, A.Szustek, Assistance in C# programs Testing through Object-Oriented Mutation Tool, ICS Research Report. 7/07, 2007

TR 8.     A. Derezińska, Analiza testów funkcjonalnych i strukturalnych - studium przypadku, Rap Bad. II PW 5/05, 2005 (in polish)

TR 9.     A. Derezińska, Specification of mutation operators specialized for C# code, ICS Res. Rep 2/05, 2005

TR 10.  A. Derezińska, Analiza niezawodności rozszerzonego protokołu eksploracyjnego za pomocą symulatora błędów, Rap. Bad. II PW 26/03, 2003 (in polish)

TR 11.  A. Derezińska, Object-Oriented Mutation of UML Class Diagrams and C++ Code, ICS Res. Rep. 19/03, 2003

TR 12.  A. Derezińska, Wyniki symulacji dla protokołu eksploracyjnego, Rap. Bad. II PW 31/02, 2002 (in polish)

TR 13.  A. Derezińska, Analiza testów maksymalizujących pokrycia i wykrywalność mutacji programów, Rap. Bad. II PW 7/01, 2001 (in polish)

TR 14.  A. Derezińska, Analiza wyników testów zbieranych algorytmem eksploracyjnym w systemie MIMD, Rap. Bad. II PW 27/00, 2000 (in polish)

TR 15.  A. Derezińska, Analiza wyników testów zbieranych algorytmem rozsiewającym w systemie MIMD, Rap. Bad. II PW 24/99, 1999 (in polish)

TR 16.  A. Derezińska, Specyfikacja eksploracyjnych algorytmów zbierania sygnatur i ich własności niezmiennicze, Rap. Bad. II PW 8/99, 1999 (in polish)

TR 17.  A. Derezińska, Rozproszone algorytmy przesyłania wiadomości i ich zastosowanie w diagnostyce systemowej, Rap. Bad. II PW 1/98, 1998 (in polish)

TR 18.  A. Derezińska, Problemy realizacji algorytmów diagnostyki systemowej, Rap. Bad. II PW 11/97, 1997 (in polish)

TR 19.  A.Derezińska, Weryfikacja modelu algorytmu rozsiewającego w systemach transputerowych, ICS Research Report 22/96, 1996 (in polish)

TR 20.  A. Derezińska, Algorytmy zbierania sygnatur w systemach transputerowych, ICS Research Report 21/96, 1996 (in polish)

TR 21.  A. Derezińska, Testowanie kanałów transmisyjnych w systemach typu transputerowego, ICS Research Report 6/96, 1996 (in polish)

TR 22.  A. Derezińska, Autodiagnostic schemes for Multiprocessor Systems, ICS Res. Rep. 2/94, 1994

TR 23.  A. Derezińska, J. Mieścicki, J. Sosnowski, On solving some reliability models with Event-Driven Nets, ICS Res. Rep. 45/92, 1992

TR 24.  J. Chrząszcz, A. Derezińska, J. Kołodziejak, J. Mieścicki, Event Driven Net model of a real-time multiprocessor architecture, ICS Res. Rep. 8/92, 1992

TR 25.  A. Derezińska, J. Mieścicki, Application of Event-Driven Nets to the modelling of a LAN with local CSMA-CD protocol, ICS Research Report 3/92, 1992

TR 26.  A. Derezińska, J. Mieścicki, J. Szeffer, The Event-Driven Net model of a neuron cell, ICS Res. Rep, 1991

TR 27.  J. Mieścicki, A. Derezińska, J. Szeffer, Application of Event-Driven Nets to the modelling of distributed systems, ICS Res. Rep., 1989