ºÝºÝߣ

beepbeep complex event processing runtime monitoring temporal logic event streams runtime verification web services event stream processing compliance provenance log analysis cornipickle xml labpal reproducibility experiments data mining cep test case generation bugs java trace validation formal methods stub business processes equivalence class partitioning computer science information security mapreduce ltl blockchain smartphone qr code hypergraphs boolean condition coverage gui user interface input generator dom data generator web testing css filters pairwise testing ws-fm hyperltl satisfiability hyperproperties distributed computing hypercompliance instance-spanning constraints tutorial distributed systems asynchronous communication intrusion detection conversation protocol realizability web service simulation devops compensation interface contract sat solver equations on words combinatorics parallel processing function circuits explainability responsive design repeatability data lineage traceability codeocean user interface bugs gui bugs web applications web design web development testing dsl domain-specific languages debugging combinatorial testing model-based testing test sequence generation activity recognition nialm lif monitoring cayley graph tarot 2016 enforcement artifact-centric business process edoc document business artifact lifecycles bpm bit vectors first-order logic benchmark