Zakład Inżynierii Oprogramowania - lista publikacji
Nadjednostka:
1-6 z 6.
2023
6.
5.
4.
Synchronizing Automata with Coinciding Cycles, Developments in Language Theory [DLT], (2023), 208-218
3.
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
2.
Adam Roman, Jakub Gomułka
Tractatus 6 Reconsidered: An Algorithmic Alternative to Wittgenstein’s Trade-off, History and Philosophy of Logic vol. 45,3 (2023), 323-340
1.
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