المؤلفون: Hierons, Rob, Nunez, Manuel, Pretschner, Alexander, Lefticaru, Raluca

مصطلحات موضوعية: Software validation, Software testing

الاتاحة: http://hdl.handle.net/10454/18690

المؤلفون: Mousavi, Mohammad Reza, Cavalcanti, Ana, Fisher, Michael, Dennis, Louise, Hierons, Rob, Kaddouh, Bilal, Law, Effie Lai-Chong, Richardson, Rob, Ringer, Jan Oliver, Tyukin, Ivan, Woodcock, Jim

المصدر: Mousavi , M R , Cavalcanti , A , Fisher , M , Dennis , L , Hierons , R , Kaddouh , B , Law , E L-C , Richardson , R , Ringer , J O , Tyukin , I & Woodcock , J 2023 , ' Trustworthy Autonomous Systems Through Verifiability ' , Computer , vol. 56 , no. 2 , pp. 40-47 . https://doi.org/10.1109/MC.2022.3192206

الاتاحة: https://research.manchester.ac.uk/en/publications/1e2c4e17-4fe0-4bd1-9cec-d1365d88b5bf
https://doi.org/10.1109/MC.2022.3192206

المؤلفون: Aichernig, Bernhard K., Furia, Carlo A., Gaudel, Marie-Claude, Hierons, Rob

المصدر: Formal Aspects of Computing ; volume 30, issue 6, page 627-628 ; ISSN 0934-5043 1433-299X

الاتاحة: http://dx.doi.org/10.1007/s00165-018-0474-2
http://link.springer.com/content/pdf/10.1007/s00165-018-0474-2.pdf
http://link.springer.com/article/10.1007/s00165-018-0474-2/fulltext.html
https://dl.acm.org/doi/pdf/10.1007/s00165-018-0474-2

المؤلفون: Cavalcanti, Ana, Dongol, Brijesh, Hierons, Rob, Timmis, Jonathan, Woodcock, Jim

مصطلحات موضوعية: Software Engineering

Relation: Cavalcanti, Ana, Dongol, Brijesh, Hierons, Rob, Timmis, Jonathan and Woodcock, Jim (2021) Software Engineering for Robotics. Springer. ISBN 9783030664947

الاتاحة: http://sure.sunderland.ac.uk/id/eprint/13893/
https://www.springer.com/gp/book/9783030664930

المؤلفون: Koopman, Philip, Hierons, Rob, Khastgir, Siddartha, Clark, John, Fisher, Michael, Alexander, Rob, Eder, Kerstin, Thomas, Pete, Barrett, Geoff, Torr, Philip, Blake, Andrew, Ramamoorthy, Subramanian, McDermid, John Alexander

وصف الملف: text

Relation: https://eprints.whiterose.ac.uk/160312/1/fiveai_cert_paper_v1.pdf; Koopman, Philip, Hierons, Rob, Khastgir, Siddartha et al. (10 more authors) (2019) Certification of Highly Automated Vehicles for Use on UK Roads:Creating An Industry-Wide Framework for Safety. Report. Five AI Ltd

الاتاحة: https://eprints.whiterose.ac.uk/160312/
https://eprints.whiterose.ac.uk/160312/1/fiveai_cert_paper_v1.pdf

المؤلفون: Danicic, Sebastian, Fox, Chris, Harman, Mark, Hierons, Rob, Howroyd, John, Laurence, Michael R.

مصطلحات موضوعية: Computer Languages

وصف الملف: text/html

Relation: http://comjnl.oxfordjournals.org/cgi/content/short/48/6/737; http://dx.doi.org/10.1093/comjnl/bxh121

الاتاحة: http://comjnl.oxfordjournals.org/cgi/content/short/48/6/737
https://doi.org/10.1093/comjnl/bxh121

المؤلفون: Laurence, Michael R., Danicic, Sebastian, Harman, Mark, Hierons, Rob, Howroyd, John

المصدر: Theoretical Computer Science ; volume 290, issue 1, page 831-862 ; ISSN 0304-3975

الاتاحة: http://dx.doi.org/10.1016/s0304-3975(02)00374-2
https://api.elsevier.com/content/article/PII:S0304397502003742?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0304397502003742?httpAccept=text/plain

المؤلفون: Koopman, Philip, Hierons, Rob, Khastgir, Siddartha, Clark, John, Fisher, Michael, Alexander, Rob, Eder, Kerstin, Thomas, Pete, Barrett, Geoff, Torr, Philip, Blake, Andrew, Ramamoorthy, Subramanian, McDermid, John Alexander

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::9edee68fc8be5b58fc30e51d44342396
https://eprints.whiterose.ac.uk/160312/1/fiveai_cert_paper_v1.pdf

المؤلفون: Hierons, Rob, Nunez, Manuel, Pretschner, Alexander, Lefticaru, Raluca

مصطلحات موضوعية: Software validation, Software testing

Relation: Hierons R, Nunez M, Pretschner A and Lefticaru R (2020) Message from A-MOST 2020 Chairs. Editorial. In: 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE.; http://hdl.handle.net/10454/18690; https://doi.org/10.1109/ICSTW50294.2020.00005

الاتاحة: http://hdl.handle.net/10454/18690
https://doi.org/10.1109/ICSTW50294.2020.00005

المؤلفون: Hierons, Rob

المصدر: Software Testing, Verification and Reliability ; volume 26, issue 6, page 430-430 ; ISSN 0960-0833 1099-1689

الاتاحة: http://dx.doi.org/10.1002/stvr.1612
https://api.wiley.com/onlinelibrary/tdm/v1/articles/10.1002%2Fstvr.1612
https://onlinelibrary.wiley.com/doi/pdf/10.1002/stvr.1612

المؤلفون: Trab, M. S A, Alrouh, Bachar, Counsell, Steve, Hierons, Rob M., Ghinea, George

المصدر: Trab , M S A , Alrouh , B , Counsell , S , Hierons , R M & Ghinea , G 2010 , A multi-criteria decision making framework for real time model-based testing . in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci. . vol. 6303 , Lecture Notes in Computer Science , Springer Nature , pp. 194-197 , Testing: Academic and Industrial Conference - Practice and Research Techniques, TAIC PART 2010 , Windsor , 1/07/10 . https://doi.org/10.1007/978-3-642-15585-7_20

مصطلحات موضوعية: AHP, decision making, real-time model-based testing

Relation: https://research.manchester.ac.uk/en/publications/1bbdce07-3d49-4810-a847-94ef2a28b6b1

الاتاحة: https://research.manchester.ac.uk/en/publications/1bbdce07-3d49-4810-a847-94ef2a28b6b1
https://doi.org/10.1007/978-3-642-15585-7_20

المؤلفون: Kalaji, AbdulSalam, Hierons, Rob Mark, Swift, Stephen

المصدر: 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques ; page 131-132

الاتاحة: http://dx.doi.org/10.1109/taicpart.2009.19
http://xplorestaging.ieee.org/ielx5/5379697/5381544/05381633.pdf?arnumber=5381633

المؤلفون: Counsell, Steve, Swift, Stephen, Hierons, Rob M.

المصدر: Advances in Computer and Information Sciences and Engineering ; page 497-502 ; ISBN 9781402087400 9781402087417

الاتاحة: http://dx.doi.org/10.1007/978-1-4020-8741-7_88
https://link.springer.com/content/pdf/10.1007/978-1-4020-8741-7_88

المؤلفون: Counsell, Steve, Hierons, Rob M.

المصدر: Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting

الاتاحة: http://dx.doi.org/10.1145/1295074.1295081
https://dl.acm.org/doi/pdf/10.1145/1295074.1295081

المؤلفون: Khan, Iftikhar Ahmed, Hierons, Rob M., Brinkman, Willem-Paul

المصدر: Proceedings of the 13th Eurpoean conference on Cognitive ergonomics: trust and control in complex socio-technical systems

الاتاحة: http://dx.doi.org/10.1145/1274892.1274917
https://dl.acm.org/doi/pdf/10.1145/1274892.1274917

المؤلفون: De Lucia, Andrea, Harman, Mark, Hierons, Rob, Krinke, Jens

مصطلحات موضوعية: ddc:004, DATA processing & computer science, info:eu-repo/classification/ddc/004

Relation: info:eu-repo/semantics/altIdentifier/isbn/0-7695-1902-4; https://publikationen.bibliothek.kit.edu/1000017645

الاتاحة: https://publikationen.bibliothek.kit.edu/1000017645

المؤلفون: Harman, Mark, Hierons, Rob, Danicic, Sebastian

المصدر: Mutation Testing for the New Century ; page 5-13 ; ISBN 9781441948885 9781475759396

الاتاحة: http://dx.doi.org/10.1007/978-1-4757-5939-6_4
http://link.springer.com/content/pdf/10.1007/978-1-4757-5939-6_4

المؤلفون: Hierons, Rob

المصدر: IEEE Transactions on Computers ; volume 60, issue 12, page 1818-1822 ; ISSN 0018-9340

الاتاحة: http://dx.doi.org/10.1109/tc.2010.238
http://xplorestaging.ieee.org/ielx5/12/6066253/05669258.pdf?arnumber=5669258

المؤلفون: Mubarak, Asma, Counsell, Steve, Hierons, Rob, Hassoun, Youssef

المصدر: Electronic Communications of the EASST; Volume 8: ERCIM Symposium on Software Evolution 2007 ; 1863-2122 ; 10.14279/tuj.eceasst.8

وصف الملف: application/pdf

Relation: http://journal.ub.tu-berlin.de/eceasst/article/view/120/110; http://journal.ub.tu-berlin.de/eceasst/article/view/120

الاتاحة: http://journal.ub.tu-berlin.de/eceasst/article/view/120
https://doi.org/10.14279/tuj.eceasst.8.120

المؤلفون: Li, Zheng, Harman, Mark, Hierons, Rob

المصدر: Li , Z , Harman , M & Hierons , R 2007 , ' Search Algorithms for Regression Test Case Prioritization ' , IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , vol. 33 , no. 4 , pp. 225-237 . https://doi.org/10.1109/TSE.2007.38

الاتاحة: https://kclpure.kcl.ac.uk/portal/en/publications/4391cc4e-c343-4da6-bed4-976a2a0778dd
https://doi.org/10.1109/TSE.2007.38