Items where authors include "Clark, John Andrew"

Export as [feed] Atom [feed] RSS
Number of items: 14.

Article

Delgado-PeĢrez, Pedro, Habli, Ibrahim orcid.org/0000-0003-2736-8238, Gregory, Steve et al. (3 more authors) (2018) Evaluation of Mutation Testing in a Nuclear Industry Case Study. IEEE Transactions on Reliability. 8453820. pp. 1406-1419. ISSN 0018-9529

Clark, John Andrew orcid.org/0000-0002-9230-9739, Dan, Haitao and Hierons, Robert M. (2013) Semantic mutation testing. Science of Computer Programming. pp. 345-363. ISSN 0167-6423

Chivers, Howard Robert orcid.org/0000-0001-7057-9650, Clark, John Andrew orcid.org/0000-0002-9230-9739, Nobles, Philip et al. (2 more authors) (2010) Knowing Who to Watch : identifying attackers whose actions are hidden within false alarms and background noise. Information Systems Frontiers. pp. 17-34. ISSN 1387-3326

Tracey, N, Clark, John Andrew orcid.org/0000-0002-9230-9739 and Mander, Keith (1998) The way forward for unifying dynamic test-case generation: The optimisation-based approach. Proceedings of the IFIP International Workshop on Dependable Computing and Its Applications (DCIA)..

Monograph

Wright, Joss, Stepney, S orcid.org/0000-0003-3146-5401, Clark, John Andrew orcid.org/0000-0002-9230-9739 et al. (1 more author) (2005) Formalizing anonymity : A review. Report. York Computer Science Technical Report Series, YCS . Department of Computer Science, University of York

Zhan, Yuan and Clark, John Andrew orcid.org/0000-0002-9230-9739 (2004) Automatic test-data generation for testing simulink models. Report. York Computer Science Technical Report . Department of Computer Science, University of York

Stepney, Susan orcid.org/0000-0003-3146-5401, Clark, John Andrew orcid.org/0000-0002-9230-9739 and Chivers, Howard (2004) Breaking the Model : finalisation and a taxonomy of security attack. Report. York Computer Science Technical Report . Department of Computer Science, University of York

Srivratanakul, Thitima, Clark, John Andrew orcid.org/0000-0002-9230-9739 and Polack, Fiona orcid.org/0000-0001-7954-6433 (2004) Writing Effective Security Abuse Cases. Report. York Computer Science Technical Report . Department of Computer Science, University of York

Clark, John Andrew orcid.org/0000-0002-9230-9739 and Jacob, Jeremy Lawrence orcid.org/0000-0003-4806-7426 (1997) A survey of authentication protocol literature: Version 1.0. Report. Citeseer

Conference or Workshop Item

Poulding, Simon Marcus, Alexander, Rob orcid.org/0000-0003-3818-0310, Clark, John Andrew orcid.org/0000-0002-9230-9739 et al. (1 more author) (2013) The Optimisation of Stochastic Grammars to Enable Cost-Effective Probabilistic Structural Testing. In: GECCO 2013, 06-10 Jul 2013.

Patrick, Matthew Timothy, Alexander, Rob orcid.org/0000-0003-3818-0310, Oriol, Manuel Yves Antoine et al. (1 more author) (2013) Using Mutation Analysis to Evolve Subdomains for Random Testing. In: Mutation 2013: 8th International Workshop on Mutation Analysis, 18 Mar 2013.

Patrick, Matthew Timothy, Oriol, Manuel Yves Antoine and Clark, John Andrew orcid.org/0000-0002-9230-9739 (2012) MESSI : Mutant Evaluation by Static Semantic Interpretation. In: Mutation 2012: 7th International Workshop on Mutation Analysis, 17 Apr 2012. (In Press)

Proceedings Paper

Srivisut, Komsan, Paige, Richard Freeman orcid.org/0000-0002-1978-9852 and Clark, John Andrew orcid.org/0000-0002-9230-9739 (2018) Correlated Input Strategies: Using Metaheuristics for Generating Parameterised Random Sampling Regimes. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO) 2018. UNSPECIFIED. ACM . (In Press)

Huang, Zhan, Alexander, Rob orcid.org/0000-0003-3818-0310 and Clark, John Andrew orcid.org/0000-0002-9230-9739 (2014) Mutation Testing for Jason Agents. In: Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems. 13th International Conference on Autonomous Agents and Multiagent Systems, 05-09 May 2014. IFAAMAS , FRA .

This list was generated on Sat Mar 23 11:39:01 2024 GMT.