Parallelising semantic checking in an IDE: A way toward improving profits and sustainability, while maintaining high-quality software development

[1] N. Bartha, Scalability on it projects, Master’s thesis, Eötvös Loránd University, 2016. ⇒240, 242 Search in Google Scholar

[2] K. Beck, Why does Kent Beck refer to the “rediscovery” of test-driven development? what’s the history of test-driven development before Kent Beck’s rediscovery?, https://www.quora.com/Why-does-Kent-Beck-refer-to-the-rediscovery-of-test-driven-development-Whats-the-history-of-test-driven-development-before-Kent-Becks-rediscovery, Last acc.: 2023.05.15. ⇒242 Search in Google Scholar

[3] K. Beck, Test Driven Development. By Example (Addison-Wesley Signature), Addison-Wesley Longman, Amsterdam, 2002. ⇒241 Search in Google Scholar

[4] R. Bohn, Stop fighting fires, HBR, 78:83–91, 07 2000. ⇒241 Search in Google Scholar

[5] M. Choudaray and M. Cheng, Export Control. In Open Source Law, Policy and Practice, Oxford University Press, 10 2022. ⇒241 Search in Google Scholar

[6] L. J. Colfer and C. Y. Baldwin, The mirroring hypothesis: Theory, evidence and exceptions, IRPN: Innovation & Organizational Behavior (Topic), 2016. ⇒241 Search in Google Scholar

[7] M. E. Conway, How do committees invent, Datamation, 1967. ⇒241 Search in Google Scholar

[8] W. E. Deming, Out of the Crisis, volume 1 of MIT Press Books. The MIT Press, 12.2000. ⇒241 Search in Google Scholar

[9] J. Dietrich, C. McCartin, E. Tempero, and S. M. A. Shah, Barriers to modularity - an empirical study to assess the potential for modularisation of Java programs. In Research into Practice – Reality and Gaps, pages 135–150, Berlin, Heidelberg, 2010. Springer Berlin Heidelberg. ⇒243 Search in Google Scholar

[10] M. Dorner, M. Capraro, O. Treidler, T.-E. Kunz, D.Šmite, E. Zabardast, D. Mendez, and K. Wnuk, Taxing collaborative software engineering, 2023. ⇒241 Search in Google Scholar

[11] I. I. Farkas, K. Szabados, and A. Kovács, Improving productivity in large scale testing at the compiler level by changing the intermediate language from C++ to Java, Acta Univ. Sapientiae Informatica, 13, 1 (2021) 134–179. ⇒240 Search in Google Scholar

[12] I. I. Farkas, K. Szabados, and A. Kovács, Regression test data, http://compalg.inf.elte.hu/attila/materials/RegressionTestSmall20190724.zip, 2019. ⇒248 Search in Google Scholar

[13] J. Fernandez-Ramil, D. Izquierdo-Cortazar, and T. Mens, What does it take to develop a million lines of open source code?, In Open Source Ecosystems: Diverse Communities Interacting, volume 299, pages 170–184, 06 2009. ⇒243, 244 Search in Google Scholar

[14] A. Georges, D. Buytaert, L. Eeckhout, Statistically Rigorous Java Performance Evaluation, In Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications, OOPSLA ’07, pages 57–76, New York, NY, USA, 2007. ACM. ⇒249 Search in Google Scholar

[15] L. Hatton, Conservation of information: Software’s hidden clockwork?, IEEE Trans. Softw. Eng., 40, 5 (2014) 450–460. ⇒243 Search in Google Scholar

[16] L. Hatton and G. Warr, Strong evidence of an information-theoretical conservation principle linking all discrete systems,R. Soc. O. Sci., 6, 10 (2019) 191101 ⇒243 Search in Google Scholar

[17] R. Hayes, Why Japanese factories work, HBR, 59, 1 (1981) 56–66. ⇒241 Search in Google Scholar

[18] I. Herraiz, D. Germán, and A. E. Hassan, On the distribution of source code file sizes, In International Conference on Software and Data Technologies, v. 2, p. 5–14, 01 2011. ⇒243 Search in Google Scholar

[19] I. Herraiz, J. M. Gonzalez-Barahona, and G. Robles, Towards a theoretical model for software growth, In Fourth International Workshop on Mining Software Repositories (MSR’07:ICSE Workshops 2007), p. 21–21, 2007. ⇒242, 243 Search in Google Scholar

[20] D. Hyland-Wood, D. Carrington, and S. Kaplan, Scale-free nature of java software package, class and method collaboration graphs, In Proceedings of the 5th International Symposium on Empirical Software Engineering, 2006. ⇒242 Search in Google Scholar

[21] P. M. Institute, A guide to the Project Management Body of Knowledge (PMBOK guide), PMI, Newton Square, PA, 6th edition, 2017. ⇒240, 241 Search in Google Scholar

[22] P. M. Institute, A guide to the Project Management Body of Knowledge (PMBOK guide), PMI, Newton Square, PA, 7th edition, 2021. ⇒241 Search in Google Scholar

[23] A. Israeli and D. Feitelson, The Linux kernel as a case study in software evolution, J. Syst. Softw., 83:485–501, 03 2010. ⇒243, 244 Search in Google Scholar

[24] C. Izurieta and J. Bieman, The evolution of FreeBSD and Linux, In Proceedings of the 2006 ACM/IEEE International Symposium on Empirical Software Engineering, ISESE ’06, p. 204–211, NY, USA, 2006. ACM. ⇒243, 244 Search in Google Scholar

[25] K. Johari and A. Kaur, E ect of Software Evolution on Software Metrics: An Open Source Case Study, SIGSOFT Softw. Eng. N., 36(5):1–8, 09.2011. ⇒243, 244 Search in Google Scholar

[26] T. Joosse, December 1945: The ENIAC Computer Runs its First, Top-Secret Program, https://www.aps.org/publications/apsnews/202212/history.cfm, 2022. Last accessed: 2023.05.15. ⇒242 Search in Google Scholar

[27] C. Kemerer and S. Slaughter, An empirical approach to studying software evolution, IEEE Trans. Softw. Eng., 25(4):493–509, 1999. ⇒243, 244 Search in Google Scholar

[28] G. Kohring, Complex dependencies in large software systems, Advances in Complex Systems, 12, 11 2011. ⇒242 Search in Google Scholar

[29] A. Kovács and K. Szabados, Advanced TTCN-3 Test Suite validation with Titan, In 9th International Conference on Applied Informatics, p. 273–281, 2015. ⇒241 Search in Google Scholar

[30] A. Kovács and K. Szabados, Internal quality evolution of a large test system–an industrial study, Acta Univ. Sapientiae, 8(2):216–240, 2016. ⇒243, 244 Search in Google Scholar

[31] N. LaBelle and E. Wallingford, Inter-package dependency networks in open-source software, CoRR, cs.SE/0411096, 2004. ⇒242 Search in Google Scholar

[32] J. Lawall, H. Chhaya-Shailesh, J.-P. Lozi, B. Lepers, W. Zwaenepoel, and G. Muller, Os scheduling with nest: Keeping tasks close together on warm cores, In Proceedings of the Seventeenth European Conference on Computer Systems, EuroSys ’22, page 368–383, New York, NY, USA, 2022. ACM. ⇒260 Search in Google Scholar

[33] M. J. Lawrence, An examination of evolution dynamics, In Proceedings of the 6th International Conference on Software Engineering, ICSE ’82, page 188–196, Washington, DC, USA, 1982. IEEE CS Press. ⇒243 Search in Google Scholar

[34] M. Lehman and J. Fernandez-Ramil, Rules and tools for software evolution planning and management, ASE, 11:15–44, 01 2001. ⇒243 Search in Google Scholar

[35] M. Lehman, D. Perry, and J. Ramil, On evidence supporting the feast hypothesis and the laws of software evolution, In Proc Fifth Int. Software Metrics Symposium. Metrics (Cat. No.98TB100262), pages 84–88, 1998. ⇒243, 244 Search in Google Scholar

[36] M. Lehman and J. Ramil, Towards a theory of software evolution - and its practical impact, In Proc. Int. Symposium on Principles of Software Evolution, pages 2–11, 2000. ⇒243 Search in Google Scholar

[37] M. M. Lehman and J. F. Ramil, Evolution in software and related areas, In Proceedings of the 4th International Workshop on Principles of Software Evolution, IWPSE ’01, page 1–16, New York, NY, USA, 2001. ACM. ⇒243 Search in Google Scholar

[38] E. Leo, Breaking mirror for the customers: The demand-side contingencies of the mirroring hypothesis, Cont. Man. Res., 18:35–65, Mar. 2022. ⇒241 Search in Google Scholar

[39] A. MacCormack, C. Baldwin, and J. Rusnak, Exploring the duality between product and organizational architectures: A test of the “mirroring” hypothesis, Research Policy, 41(8):1309–1324, 2012. ⇒241 Search in Google Scholar

[40] M. A. Mamun, C. Berger, and J. Hansson, E ects of measurements on correlations of software code metrics, Empir. Softw. Eng., 24, 08 2019. ⇒242 Search in Google Scholar

[41] J. McCalpin, Memory bandwidth and machine balance in high performance computers, IEEE Technical Committee on Computer Architecture Newsletter, pages 19–25, 12 1995. ⇒247 Search in Google Scholar

[42] H. Melton and E. Tempero, An empirical study of cycles among classes in Java, Empir. Softw. Eng., 12(4):389–415, Aug. 2007. ⇒243 Search in Google Scholar

[43] S. Moradi, K. K¨ahkönen, and K. Aaltonen, From past to present- the development of project success research, J. Mod. Proj., 8(1), Apr. 2022. ⇒241 Search in Google Scholar

[44] A. Moura, Y. Lai, and A. Motter, Signatures of small-world and scale-free properties in large computer programs, Phys. Rev. E, 68(2), 2003. ⇒242 Search in Google Scholar

[45] C. R. Myers, Software systems as complex networks: Structure, function, and evolvability of software collaboration graphs, Phys. Rev. E, 68(4), 2003. ⇒242 Search in Google Scholar

[46] N. Nagappan, B. Murphy, V. Basili, and N. Nagappan, The influence of organizational structure on software quality: An empirical case study, Technical Report MSR-TR-2008-11, Microsoft Research, January 2008. ⇒241 Search in Google Scholar

[47] G. Nagy and Z. Porkoláb, Performance issues with implicit resolution in scala, In Proceedings of the 10th International Conference on Applied Informatics, pages 211–223, 01 2018. ⇒260 Search in Google Scholar

[48] P. Olah, Szemantikus elemzés gyorsítása TTCN-3 környezetben, Master’s thesis, Eötvös Loránd University, 2016. ⇒244, 245 Search in Google Scholar

[49] T. D. Oyetoyan, R. Conradi, and D. S. Cruzes, Criticality of defects in cyclic dependent components, In 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM), pages 21–30, 2013. ⇒243 Search in Google Scholar

[50] A. Pannier, Software power: The economic and geopolitical implications of open source software, 2022. ⇒241 Search in Google Scholar

[51] D. L. Parnas, Structured programming: A minor part of software engineering, Information Processing Letters, 88(1):53–58, 2003. ⇒242 Search in Google Scholar

[52] Z. Porkoláb, Save the Earth, Program in C++!, In 2022 IEEE 16th Int. Scientific Conf. on Informatics (Informatics), p. 11–12. IEEE, 2022. ⇒260 Search in Google Scholar

[53] A. Potanin, J. Noble, M. Frean, and R. Biddle, Scale-free geometry in OO programs, Commun. ACM, 48(5):99–103, May 2005. ⇒242 Search in Google Scholar

[54] R. Potvin and J. Levenberg, Why Google stores billions of lines of code in a single repository, Commun. ACM, 59(7):78–87, Jun 2016. ⇒243 Search in Google Scholar

[55] S. Pretorius, H. Steyn, and T. Bond-Barnard, The relationship between project management maturity and project success,J. Mod. Proj.,10:219–231, 2023. ⇒241 Search in Google Scholar

[56] W. Pu tsch and M. Schoeberl, PicoJava-II in an FPGA, In Proceedings of the 5th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES ’07, page 213–221, New York, NY, USA, 2007. ACM. ⇒260 Search in Google Scholar

[57] D. Simon, C. Cifuentes, D. Cleal, J. Daniels, and D. White, Java Š on the bare metal of wireless sensor devices: the squawk Java virtual machine, In Proceedings of the 2nd international conference on Virtual execution environments, pp. 78–88, 2006. ⇒260 Search in Google Scholar

[58] C. P. Smith, A software science analysis of programming size, In Proceedings of the ACM 1980 Annual Conference, page 179–185, 1980. ACM. ⇒243 Search in Google Scholar

[59] S. Spear and H. Bowen, Decoding the DNA of the Toyota Production System, HBR, 77, 09 1999. ⇒241 Search in Google Scholar

[60] T. Suganuma, T. Yasue, M. Kawahito, H. Komatsu, and T. Nakatani, Design and Evaluation of Dynamic Optimizations for a Java Just-in-Time Compiler, ACM Trans. Program. Lang. Syst., 27(4):732–785, Jul 2005. ⇒260 Search in Google Scholar

[61] K. Szabados, Structural Analysis of Large TTCN-3 Projects, In Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop, TESTCOM ’09/FATES ’09, page 241–246, Berlin, Heidelberg, 2009. Springer-Verlag. ⇒242 Search in Google Scholar

[62] K. Szabados, Creating an e cient and incremental IDE for TTCN-3, In 10th Joint Conference on Mathematics and Computer Science, Cluj-Napoca, In Studia Universitatis Babes-Bolyai, Informatica, volume 60, pages 5–18, 2015. ⇒244, 256 Search in Google Scholar

[63] K. Szabados, Quality Aspects of TTCN-3 Based Test Systems, PhD thesis, Eötvös Loránd University, 11 2017. ⇒240, 242 Search in Google Scholar

[64] K. Szabados, A. Kovács, G. Jenei, and D. Góbor, Titanium: Visualization of TTCN-3 system architecture, In 2016 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR), pages 1–5, 2016. ⇒243 Search in Google Scholar

[65] C. Taube-Schock, R. J. Walker, and I. H. Witten, Can we avoid high coupling?, In Proceedings of the 25th European Conference on Object-Oriented Programming, ECOOP’11, page 204–228, Berlin, Heidelberg, 2011. Springer-Verlag. ⇒242 Search in Google Scholar

[66] R. Tonelli, G. A. Pierro, M. Ortu, and G. Destefanis, Smart contracts software metrics: A first study, PLoS ONE, 18, 01 2023. ⇒243 Search in Google Scholar

[67] W. Turski, The reference model for smooth growth of software systems revisited, IEEE Trans. Softw. Eng., 28(8):814–815, 2002. ⇒243 Search in Google Scholar

[68] J. Varajão, R. P. Marques, and A. Trigo, Project management processes – impact on the success of information systems projects, Inf., 33(2):421–436, 2022. ⇒241 Search in Google Scholar

[69] L.Šubelj and M. Bajec, Software systems through complex networks science: Review, analysis and applications, In Proceedings of the First International Workshop on Software Mining, p. 9–16, NY, USA, 2012. ACM. ⇒242 Search in Google Scholar

[70] A. Whiteley, J. Pollack, and P. Matous, The origins of agile and iterative methods, J. Mod. Proj., pages 20–29, 02 2021. ⇒241 Search in Google Scholar

[71] E. Yourdon and L. L. Constantine, Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design, Yourdon, 1978. ⇒241 Search in Google Scholar

[72] H. Zhang, Exploring Regularity in Source Code: Software Science and Zipf’s Law, In 15th Working Conference on Reverse Engineering, 101–110, 2008. ⇒243 Search in Google Scholar

[73] H. Zhang and H. B. K. Tan, An Empirical Study of Class Sizes for Large Java Systems, In 14th Asia-Pacific Software Engineering Conference (APSEC’07), pages 230–237, 2007. ⇒243 Search in Google Scholar

[74] H. Zhang, H. B. K. Tan, and M. Marchesi, The Distribution of Program Sizes and Its Implications: An Eclipse Case Study, CoRR, abs/0905.2288, 2009. ⇒243 Search in Google Scholar

[75] T. Zimmermann and N. Nagappan, Predicting Subsystem Failures using Dependency Graph Complexities, In The 18th IEEE Int. Symp. on Soft. Rel. (ISSRE ’07), pages 227–236, 2007. ⇒243 Search in Google Scholar

[76] A. Zsiga, Termelékenységi trendek, minták elemzése szoftverfejlesztési projektekben, Master’s thesis, Eötvös Loránd University, 2019. ⇒243, 244 Search in Google Scholar

[77] * * *, Evolved universal terrestrial radio access (e-utra) and evolved packet core (epc); user equipment (ue) conformance specification; part 3: Abstract test suite (ats), ftp://ftp.3gpp.org/Specs/archive/36series/36.523-3/36523-3-g90.zip. Last accessed: 2023.05.15. ⇒251 Search in Google Scholar

[78] * * *, Internet protocol (ip) multimedia call control protocol based on session initiation protocol (sip) and session description protocol (sdp); user equipment (ue) conformance specification; part 3: Abstract test suites (ats), ftp://ftp.3gpp.org/Specs/archive/34 series/34.229-3/34229-3-g20.zip. Last accessed: 2023.05.15. ⇒251 Search in Google Scholar

[79] * * *, Technical specification group radio access network; 5gs; user equipment (ue) conformance specification; part 3: Protocol test suites, tp://ftp.3gpp.org/Specs/archive/38 series/38.523-3/38523-3-g20.zip. Last accessed: 2023.05.15. ⇒251 Search in Google Scholar

[80] * * *, User equipment (ue) conformance specification; part 3: Abstract test suites, ftp://ftp.3gpp.org/Specs/archive/34 series/34.123-3/34123-3-g20.zip. Last accessed: 2023.05.15. ⇒250 Search in Google Scholar

[81] * * *, Titan, https://projects.eclipse.org/projects/tools.titan, 2020. Last accessed: January 2020. ⇒244, 260 Search in Google Scholar