Zakład Inżynierii Oprogramowania - lista publikacji

1-109 z 109.

2024

109.
Careful Synchronization of One-Cluster Automata, Developments in Language Theory [DLT], (2024), 252-265
106.
Adam Roman, Lucjan Stapp, Michael Pilaeten
ISTQB Certified Tester Foundation Level. A Self-Study Guide Syllabus v4.0, Springer Verlag (połaczony z Kluwer Academic Publishing), 2024

2023

103.
Synchronizing Automata with Coinciding Cycles, Developments in Language Theory [DLT], (2023), 208-218
102.
Empirical Verification of TQED - A New Test Design Heuristic Technique, International Conference on Testing Software and Systems [ICTSS] vol. 14131, Lecture Notes in Computer Science (2023), 1-17
101.
Adam Roman, Rafał Brożek, Jarosław Hryszko
Predictive Power of Two Data Flow Metrics in Software Defect Prediction, International Conference on Evaluation of Novel Approaches to Software Engineering [ENASE], (2023), 114-125

2022

100.
Some results concerning careful synchronization of partial automata and subset synchronization of DFA's, International Conference on Implementation and Application of Automata [CIAA], (2022), 106-125
99.
Batch size reconstruction-distribution trade-off in kernel based generative autoencoders, IEEE International Conference on Image Processing [ICIP], (2022), 3728-3732

2021

95.
Designing Urban Transit Network using Memetic Algorithm, IEEE Congress on Evolutionary Computation [CEC], (2021), 343-350

2020

88.
Boolean algebra of one-point local compactifications, Journal of Mathematics and Applications vol. 43 (2020), 113-121

2019

87.
Arkadiusz Czekajski, Damian Leśniak, Igor Podolak, Adam Roman, Bartosz Zieliński
Variational Auto-Encoders for Generating Feature-Preserving Automata, Proceedings of Ncma 2019, Books@ocg.at (austrian Computer Society) (2019), 171-185

2018

84.
A Study Guide to the ISTQB® Foundation Level 2018 Syllabus, Springer Verlag (połaczony z Kluwer Academic Publishing), 2018
81.
Thinking-Driven Testing. The Most Reasonabl Approach to Quality Control, Springer Verlag (połaczony z Kluwer Academic Publishing), 2018

2017

78.
Jarosław Hryszko, Lech Madeyski
Assessment of the Software Defect Prediction Cost Effectiveness in an Industrial Project vol. 504 (2017), "Software Engineering: Challenges and Solutions", Springer
76.
Jakub Kowalski, Adam Roman
A New Evolutionary Algorithm for Synchronization vol. LNCS 10199 (2017), "Applications of Evolutionary Computation", Springer Verlag (połaczony z Kluwer Academic Publishing)

2016

72.
Jarosław Hryszko, Lech Madeyski, Marta Dąbrowska, Piotr Konopka
Defect prediction with bad smells in code, (2016), "Software Engineering: Improving Practice through Research", Politechnika Gdańska
71.
Michał Mnich, Adam Roman, Piotr Wawrzyniak
Mutation churn model, Schedae Informaticae vol. 25 (2016), 227-236
69.
Rafał Babiarz, Adam Roman
Dynamic Stylometry for Defect Prediction, Advances in Intelligent Systems and Computing (2016), 91-102
68.
Maciej Chmielarz, Adam Roman, Lucjan Stapp
Postgraduate Studies on Software Testing in Poland, Software Engineering: Improving Practice Through Research (2016), 177-186

2015

65.
Programista jako tester, Computerworld (2015), 24-25
64.
Testowanie i analiza mutacyjna, Programista vol. 6(37) (2015), 52-55

2014

58.
Testowanie eksploracyjne - cudowny lek czy zwykłe placebo?, Software Developer's Journal (2014), 4-15
56.
Wit Foryś, Łukasz Jęda, Piotr Oprocha
On a cipher based on pseudo-random walks on graphs vol. 448 (2014), "Cryptography and Security Systems, Series: Communications in Computer and Information Science", Springer
54.
Agata Dróżdż, Marzena Frołow, Agata Kowalewska, Adam Roman, Bartosz Zieliński
A new approach to automatic continuous artery diameter measurement , Proceedings of the 2014 Federated Conference On Computer Science and Information Systems vol. 2 (2014), 247–251
53.
Defect property of $mathbb{Z}^2$ figure codes, Japanese Conference On Combinatorics and Its Applications (jcca 2014) (2014), 60-61

2013

52.
Kamil Bartocha, William Beckler, Krzysztof Osiewalski, Adam Roman
49.
Defect property in $mathbb{Z}^2$, Tucs Lecture Notes vol. 20 (2013), 64-70

2012

2011

36.
Zbiór zadań z teorii języków formalnych i automatów, Wydawnictwo Uniwersytetu Jagiellońskiego, 2011
35.
Wit Foryś, Piotr Oprocha
33.
Wit Foryś, J.L.Garcia Guirao, Piotr Oprocha

2010

2009

21.
Wit Foryś, Piotr Oprocha
18.
A new notion of weakness in classification theory vol. 57 (2009), "Advances in Intelligent and Soft Computing", Springer Verlag (połaczony z Kluwer Academic Publishing)

2008

2007

2006

9.

2005

8.
Wit Foryś, Tomasz Krawczyk
An automaton that recognizes the base of a semiretract, Words 2005, 5-th International Conference On Words (2005), 235-247

2004

6.
Decidability of simple brick codes vol. Trends in Mathematics (2004), "Mathematics and Computer Science III (Algorithms, Trees, Combinatorics and Probabilities)", Birkhäuser

2003

5.
Wit Foryś, Tomasz Krawczyk

2000

1999

3.
Brick Codes, (1999), "Algebraic Engineering: Proceedings of the First International Conference on Semigroups and Algebraic Engineering", World Scientific Publishing

1995

1992

1.
Janusz Jurek, Leszek Kotulski, Włodzimierz Moczurad
Object-Oriented Programming in the Large Using Group Concept, (1992), "Proceedings CompEuro ’92", Institute of Electrical and Electronics Engineers (IEEE)