John Andrew Clark

Search results

• 2018

  Correlated Input Strategies: Using Metaheuristics for Generating Parameterised Random Sampling Regimes

  Srivisut, K., Paige, R. F. & Clark, J. A., 25 Mar 2018, (Accepted/In press) Proceedings of the Genetic and Evolutionary Computation Conference (GECCO) 2018. ACM, 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Dependent input sampling strategies: using metaheuristics for generating parameterised random sampling regimes

  Srivisut, K., Clark, J. A. & Paige, R. F., 2 Jul 2018, GECCO 2018 - Proceedings of the 2018 Genetic and Evolutionary Computation Conference. ACM, p. 1451-1458 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Evaluation of Mutation Testing in a Nuclear Industry Case Study

  Delgado-Pérez, P., Habli, I., Gregory, S., Alexander, R. D., Clark, J. A. & Medina-Bulo, I., Dec 2018, In: IEEE Transactions on Reliability. 67, 4, p. 1406-1419 14 p., 8453820.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Search-Based Temporal Testing in an Embedded Multicore Platform

  Srivisut, K., Clark, J. A. & Paige, R. F., 2018, Applications of Evolutionary Computation - 21st International Conference, EvoApplications 2018, Proceedings. Springer, Vol. 10784 LNCS. p. 794-809 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10784 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2015

  A Research Agenda for Metaheuristic Standardization

  Swan, J., Adriaensen, S., Bishr, M., Burke, E. K., Clark, J. A., De Causmaecker, P., Durillo, J., Hammond, K., Hart, E., Johnson, C. G., Kocsis, Z. A., Kovitz, B., Krawiec, K., Martin, S., Merelo, J. J., Minku, L. L., Özcan, E., Pappa, G. L., Pesch, E. & Garcia-Sànchez, P. & 7 others, Schaerf, A., Sim, K., Smith, J., Stützle, T., Stefan, V., Wagner, S. & Yao, X., Jun 2015, p. 1-3. 3 p.

  Research output: Contribution to conference › Paper › peer-review

• Subdomain-based test data generation

  Patrick, M., Alexander, R., Oriol, M. & Clark, J. A., May 2015, In: Journal of Systems and Software. 103, p. 328-342 15 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• The optimisation of stochastic grammars to enable cost-effective probabilistic structural testing

  Poulding, S., Alexander, R., Clark, J. A. & Hadley, M. J., 1 May 2015, In: Journal of Systems and Software. 103, p. 296-310 15 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2014

  Mutation Testing for Jason Agents

  Huang, Z., Alexander, R. & Clark, J. A., 6 May 2014, Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems. Richland, SC: IFAAMAS, 16 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Probability-based semantic interpretation of mutants

  Patrick, M., Alexander, R., Oriol, M. & Clark, J. A., 2014, Proceedings - IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops: ICSTW 2014. IEEE Computer Society, p. 186-195 10 p. 6825657

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2013

  Efficient Subdomains for Random Testing

  Patrick, M. T., Alexander, R., Oriol, M. Y. A. & Clark, J. A., 2013, Search Based Software Engineering. Springer, Vol. 8084 LNCS. p. 251-256 6 p. (Lecture Notes in Computer Science; vol. 8084).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Genetic algorithms and solid state NMR pulse sequences

  Bechmann, M., Clark, J. & Sebald, A., Mar 2013, In: Journal of Magnetic Resonance. 228, n/a, p. 66-75 10 p.

  Research output: Contribution to journal › Article › peer-review

• Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy

  Patrick, M., Alexander, R., Oriol, M. & Clark, J. A., 1 Dec 2013, Software Engineering Conference (APSEC, 2013 20th Asia-Pacific). Vol. 1. p. 91-98 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  File

• Semantic mutation testing

  Clark, J. A., Dan, H. & Hierons, R. M., 1 Apr 2013, In: Science of Computer Programming. 78, 4, p. 345 - 363 19 p.

  Research output: Contribution to journal › Article › peer-review

• Semantic mutation testing

  Clark, J. A., Dan, H. & Hierons, R. M., 1 Apr 2013, In: Science of Computer Programming. 78, 4, p. 345-363 19 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• The Optimisation of Stochastic Grammars to Enable Cost-Effective Probabilistic Structural Testing

  Poulding, S. M., Alexander, R., Clark, J. A. & Hadley, M. J., Jul 2013. 8 p.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File

• Using Mutation Analysis to Evolve Subdomains for Random Testing

  Patrick, M. T., Alexander, R., Oriol, M. Y. A. & Clark, J. A., Mar 2013, p. 53-62. 10 p.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File
• 2012

  Dynamic adaptive search based software engineering

  Harman, M., Burke, E. K., Clark, J. A. & Yao, X., 2012, International Symposium on Empirical Software Engineering and Measurement. ACM, p. 1-8

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• MESSI: Mutant Evaluation by Static Semantic Interpretation

  Patrick, M. T., Oriol, M. Y. A. & Clark, J. A., 17 Apr 2012, (Accepted/In press).

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File

• Modelling Uncertain and Time-Dependent Security Labels in MLS Systems

  Clark, J. A., Tapiador, J. E., McDermid, J., Cheng, P. C., Agrawal, D., Ivanic, N. & Slogget, D., 2012, e-Business and Telecommunications : 7th International Joint Conference, ICETE 2010, Athens, Greece, July 26-28, 2010, Revised Selected Papers. Springer, p. 158-171 14 p. (Communications in Computer and Information Science ; vol. 222).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Searching for Pareto-optimal Randomised Algorithms

  Millard, A. G., White, D. R. & Clark, J. A., 2012, SSBSE. Springer, Vol. 7515. p. 183-197 15 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• 2011

  Applications of Model Reuse When Using Estimation of Distribution Algorithms to Test Concurrent Software

  Staunton, J. & Clark, J. A., 2011, Search Based Software Engineering - Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings. Cohen, M. B. & Cinnéide, M. Ó. (eds.). Springer, Vol. 6956. p. 97-111 15 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• A principled evaluation of the effect of directed mutation on search-based statistical testing

  Poulding, S., Clark, J. A. & Waeselynck, H., 2011, Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth International Conference on. p. 184-193 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Cryptanalysis of Song's advanced smart card based password authentication protocol

  Tapiador, J. E., Hernandez-Castro, J. C., Peris-Lopez, P. & Clark, J. A., 11 Nov 2011.

  Research output: Working paper › Preprint

• Decorrelating WSN Traffic Patterns with Maximally Uninformative Constrained Routing

  Tapiador, J. E., Srivatsa, M., Clark, J. A. & McDermid, J. A., 2011, NETWORKING 2011 Workshops - International IFIP TC 6 Workshops, PE-CRN, NC-Pro, WCNS, and SUNSET 2011, Held at NETWORKING 2011, Valencia, Spain, May 13, 2011, Revised Selected Papers. Giner, V. C., Manzoni, P. & Pont, A. (eds.). Springer, Vol. 6827. p. 207-218 12 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Demonstration software for IDS Sensor Placement

  Chen, H., Fuller, R. & Clark, J. A., 31 Mar 2011

  Research output: Non-textual form › Software

• Evolutionary computation techniques for intrusion detection in mobile ad hoc networks

  Sen, S. & Clark, J. A., 27 Oct 2011, In: Computer networks-The international journal of computer and telecommunications networking. 55, 15, p. 3441-3457 17 p.

  Research output: Contribution to journal › Article › peer-review

• Evolutionary Improvement of Programs

  White, D. R., Arcuri, A. & Clark, J. A., Aug 2011, In: IEEE Transactions on Evolutionary Computation. 15, 4, p. 515-538 24 p., 5688317.

  Research output: Contribution to journal › Article › peer-review

• F for fake: four studies on how we fall for phish

  Blythe, M., Petrie, H. & Clark, J. A., 2011, p. 3469-3478.

  Research output: Contribution to conference › Paper › peer-review

• Finding short counterexamples in promela models using estimation of distribution algorithms

  Staunton, J. & Clark, J. A., 2011, 13th Annual Genetic and Evolutionary Computation Conference, GECCO 2011, Proceedings, Dublin, Ireland, July 12-16, 2011. Krasnogor, N. & Lanzi, P. L. (eds.). ACM, p. 1923-1930 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Masquerade mimicry attack detection: A randomised approach

  Tapiador, J. E. & Clark, J. A., Jul 2011, In: Computers & Security. 30, 5, p. 297-310 14 p.

  Research output: Contribution to journal › Article › peer-review

• Searching for invariants using genetic programming and mutation testing

  Ratcliff, S., White, D. R. & Clark, J. A., 2011, GECCO 2011 : Proceedings of 13th Annual Conference on Genetic and Evolutionary Computation. Krasnogor, N. & Lanzi, P. L. (eds.). ACM, p. 1907-1914 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Segmentation and Normalisation in Grapheme Codebooks

  Gillam, T., Wilson, R. C. & Clark, J. A., 2011, 2011 International Conference on Document Analysis and Recognition, ICDAR 2011, Beijing, China, September 18-21, 2011. IEEE, p. 613-617 5 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2010

  Defending the weakest link: phishing websites detection by analysing user behaviours

  Dong, X., Clark, J. A. & Jacob, J. L., Oct 2010, In: Telecommunication Systems. 45, 2-3, p. 215-226 12 p.

  Research output: Contribution to journal › Article › peer-review

• Efficient Software Verification: Statistical Testing Using Automated Search

  Poulding, S. & Clark, J. A., 1 Nov 2010, In: IEEE Transactions on Software Engineering. 36, 6, p. 763-777 15 p., 5406530.

  Research output: Contribution to journal › Article › peer-review

• Fine-Grained Timing Using Genetic Programming

  White, D. R., Tapiador, J. E., Castro, J. C. H., Clark, J. A., Esparcia-Alcázar, A. I. (Editor), Ekárt, A. (Editor), Silva, S. (Editor), Dignum, S. (Editor) & Etaner-Uyar, A. S. (Editor), 2010, Genetic Programming, 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings. Springer, Vol. 6021. p. 325-336 12 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Information-Theoretic Detection of Masquerade Mimicry Attacks

  Tapiador, J. E. & Clark, J. A., 1 Sept 2010, p. 183 -190. 7 p.

  Research output: Contribution to conference › Paper › peer-review

• Knowing who to watch: identifying attackers whose actions are hidden within false alarms and background noise

  Chivers, H., Clark, J., Nobles, P., Shaikh, S. & Chen, H., 23 Sept 2010, In: Information Systems Frontiers. 15, 1, p. 17-34

  Research output: Contribution to journal › Article › peer-review

• Knowing Who to Watch: identifying attackers whose actions are hidden within false alarms and background noise

  Chivers, H. R., Clark, J. A., Nobles, P., Rabaiotti, J. & Chen, H., 23 Sept 2010, In: Information Systems Frontiers. 15, 1, p. 17-34 18 p.

  Research output: Contribution to journal › Article › peer-review

  File

• Learning Autonomic Security Reconfiguration Policies

  Tapiador, J. E. & Clark, J. A., 2010, p. 902-909. 8 p.

  Research output: Contribution to conference › Paper › peer-review

• Optimising IDS Sensor Placement

  Chen, H., Clark, J. A., Shaikh, S. A., Chivers, H. & Nobles, P., 2010, FIFTH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY, AND SECURITY: ARES 2010, PROCEEDINGS. LOS ALAMITOS: IEEE Computer Society, p. 315-320 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Power-Aware Intrusion Detection in Mobile Ad Hoc Networks

  Sen, S. & Clark, J., 2010, In: Guide to Wireless Ad Hoc Networks.

  Research output: Contribution to journal › Article › peer-review

• Risk Based Access Control with Uncertain and Time-dependent Sensitivity

  Clark, J. A., Tapiador, J. E., McDermid, J. A., Cheng, P.-C., Agrawal, D., Ivanic, N. & Slogget, D., 2010, Proceedings of the 2010 International Conference on Security and Cryptography. Katsikas, S. & Samarati, P. (eds.). SciTePress, p. 1-9 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• SBST: 3rd International Workshop on Search-Based Software Testing

  Feldt, R., Cohen, M., Arcuri, A., Baresel, A. & Clark, J. A., 2010, In: computer.org.

  Research output: Contribution to journal › Article › peer-review

• Scribe Identification in Medieval English Manuscripts

  Gillam, T., Wilson, R. C. & Clark, J. A., 23 Aug 2010, p. 1880-1883. 4 p.

  Research output: Contribution to conference › Paper › peer-review

• Searching for Safety Violations Using Estimation of Distribution Algorithms

  Staunton, J. & Clark, J. A., 2010, In: Software Testing Verification and Validation Workshop, IEEE International Conference on. 0, p. 212-221 10 p.

  Research output: Contribution to journal › Article › peer-review

• The Phish in the Pond: scam emails as literature

  Clark, J. A. & Blythe, M., 10 Apr 2010.

  Research output: Contribution to conference › Paper › peer-review
• 2009

  A Deployment Value Model for Intrusion Detection Sensors

  Shaikh, S. A., Chivers, H., Nobles, P., Clark, J. A. & Chen, H., 2009, Advances in Information Security and Assurance, Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 200. Vol. 5576 LNCS. p. 250-259 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• A grammatical evolution approach to intrusion detection on mobile ad hoc networks

  en, S. & Clark, J. A., 2009, Proceedings of the second ACM conference on Wireless network security. New York, NY, USA: ACM, p. 95-102 8 p. (WiSec '09).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• A Multi-objective Optimisation Approach to IDS Sensor Placement

  Chen, H., Clark, J. A., Tapiador, J. E., Shaikh, S. A., Chivers, H. & Nobles, P., 2009, COMPUTATIONAL INTELLIGENCE IN SECURITY FOR INFORMATION SYSTEMS. Herrero, A., Gastaldo, P., Zunino, R. & Corchado, E. (eds.). BERLIN: Springer, Vol. 63 AISC. p. 101-108 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Automatic Test Data Generation for Multiple Condition and MCDC Coverage

  Ghani, K., Clark, J. A., Boness, K., Fernandes, J. M., Hall, J. G., Machado, R. J. & Oberhauser, R., 2009, p. 152-157. 6 p.

  Research output: Contribution to conference › Paper › peer-review