• Conformance testing of formal semantics using grammar-based fuzzing 

  Marmsoler, D; Brucker, AD (Springer-Verlag, 2022)

  A common problem in verification is to ensure that the formal specification models the real-world system, i.e., the implementation, faithfully. Testing is a technique that can help to bridge the gap between a formal ...

• Discussion of Climate Change on Reddit: Polarized Discourse or Deliberative Debate? 

  Treen, K; Williams, H; O’Neill, S; et al. (Routledge, 10 April 2022)

  Studies of climate discourse on social media platforms often find evidence of polarization, echo chambers, and misinformation. However, the literature’s overwhelming reliance on Twitter makes it difficult to understand ...

• Runtime analysis of convex evolutionary search algorithm with standard crossover 

  Malalanirainy, T; Moraglio, A (Elsevier, 13 April 2022)

  Evolutionary Algorithms (EAs) with no mutation can be generalized across representations as Convex Evolu- tionary Search algorithms (CSs). However, the crossover operator used by CSs does not faithfully generalize the ...

• Knowledge-powered Explainable Artificial Intelligence (XAI) for Network Automation Towards 6G 

  Wu, Y; Lin, G; Ge, J (Institute of Electrical and Electronics Engineers (IEEE), 2022)

  —Communication networks are becoming increasingly complex towards 6G. Manual management is no longer an option for network operators. Network automation has been widely discussed in the networking community, and it is ...

• Mono-surrogate vs Multi-surrogate in Multi-objective Bayesian Optimisation 

  Chugh, T (Association for Computing Machinery (ACM), 2022)

  Bayesian optimisation (BO) has been widely used to solve problems with expensive function evaluations. In multi-objective optimisation problems, BO aims to find a set of approximated Pareto optimal solutions. There are ...

View more