Testing and debugging functional reactive programming

QR Code

Testing and debugging functional reactive programming

Many types of interactive applications, including video games, raise particular challenges when it comes to testing and debugging. Reasons include de-facto lack of reproducibility and difficulties of automatically generating suitable test data. This paper demonstrates that certain variants of Functi...

Full description

Bibliographic Details
Main Authors:	Perez, Ivan, Nilsson, Henrik
Format:	Article
Published:	Association for Computing Machinery 2017
Subjects:	Functional Reactive Programming Game programming Testing Debugging Temporal logic
Online Access:	https://eprints.nottingham.ac.uk/43953/

Similar Items

Functional reactive programming, refactored
by: Perez, Ivan, et al.
Published: (2016)

Extensible and robust functional reactive programming
by: Perez Dominguez, Ivan
Published: (2018)

Bridging the GUI gap with reactive values and relations
by: Perez, Ivan, et al.
Published: (2015)

Towards safe and efficient functional reactive programming
by: Sculthorpe, Neil
Published: (2011)

Narrowing in on property-based testing
by: Fowler, Jonathan
Published: (2019)

Funky grooves: declarative programming of full-fledged musical applications
by: Nilsson, Henrik, et al.
Published: (2016)

The arpeggigon: declarative programming of a full-fledged musical application
by: Nilsson, Henrik, et al.
Published: (2016)

Slicing aspect-oriented program using aspect- oriented dependence flow graph for software maintenance
by: Ahmad, Syarbaini
Published: (2016)

Some constructions on ω-groupoids
by: Altenkirch, Thorsten, et al.
Published: (2014)

Investigating the use of pure functional programming for agent-based simulation
by: Thaler, Jonathan
Published: (2020)

Functional programming and non-distributivity in pathfinding problems
by: Saenz Carrasco, Juan Carlos
Published: (2016)

Efficient implementations of expressive modelling languages
by: Chupin, Guerric
Published: (2022)

Metamorphic testing: a review of challenges and opportunities
by: Chen, Tsong Yueh, et al.
Published: (2018)

Run-time profiling of Algol 68-R programs using DIDYMUS and SCAMP
by: Brailsford, David F., et al.
Published: (1977)

Automatic randomized test generation strategy for aspect-oriented software
by: Parizi, Reza Meimandi
Published: (2012)

A metamorphic testing approach for supporting program repair without the need for a test oracle
by: Jiang, Mingyue, et al.
Published: (2016)

Efficiency three ways: tested, verified, and formalised
by: Handley, Martin AT
Published: (2020)

Reka bentuk dan implementasi suatu penghurai Bahasa Melayu menggunakan sistem logik selari
by: Ramli, Suzaimah
Published: (2002)

Agent-Based Logics in Dependent Type Theory
by: Baston, Colm
Published: (2025)

Satu Rangka Kerja Sistem Pengesanan Ralat dalam Sistem Tahan Rosak
by: Abas, Azizi
Published: (1999)

An exact penalty function method for nonlinear mixed discrete programming problems
by: Changjun, Y., et al.
Published: (2013)

Supermonads: one notion to bind them all
by: Bracker, Jan, et al.
Published: (2016)

A functional specification of effects
by: Swierstra, Wouter
Published: (2009)

A new exact penalty method for semi-infinite programming problems
by: Lin, Qun, et al.
Published: (2014)

Comprehensive optimization of PV inverter reactive and real power flows in unbalanced four wire LV distribution network operations
by: Su, Xiangjing, et al.
Published: (2013)

Distributive laws in programming structures
by: Rypacek, Ondrej
Published: (2010)

A transformation-based approach to testing concurrent programs using UML activity diagrams
by: Sun, Chang-ai, et al.
Published: (2016)

Analytical Approach for Linear Programming Using Barrier and Penalty Function Methods
by: Moengin, Parwadi
Published: (2003)

Exploiting structure in integer programs
by: Mareček, Jakub
Published: (2012)

A novel dual surface type-2 fuzzy logic controller for a micro robot
by: Birkin, Philip
Published: (2010)

Evolutionary cost-cognizant regression test case prioritization for object-oriented programs
by: Bello, AbdulKarim
Published: (2019)

Documents as functions
by: Lumley, John William
Published: (2012)

Evaluating decision making units under uncertainty using fuzzy multi-objective nonlinear programming
by: Zerafat Angiz, M., et al.
Published: (2016)

Design and simulation of a 3D wing box test rig for static test / Leonard Langking
by: Langking, Leonard
Published: (2010)

Distribution of harumanis in Universiti Teknologi Mara Cawangan Perlis by using : goal programming model / 'Ain Syafiqah Abu Sofian
by: Abu Sofian, 'Ain Syafiqah
Published: (2019)

Pembangunan dan keberkesanan permainan komputer terhadap pencapaian, sikap dan strategi metakognisi murid dalam penyelesaian masalah
by: Abdullah, Yusri
Published: (2018)

Mobile game as a learning aid for C++ control structure / Nur Afiqah Nabilah Noor Aris
by: Noor Aris, Nur Afiqah Nabilah
Published: (2017)

Automated self-assembly programming paradigm
by: Li, Lin
Published: (2008)

Uptake of reactive red 2 by zinc aluminium- nitrate hydrotalcite / Abu Hurairah Mohd Tahir
by: Mohd Tahir, Abu Hurairah
Published: (2008)

Nutrient management for rubber plantation using goal programming / Nurul Ain Mohd Razali
by: Mohd Razali, Nurul Ain
Published: (2020)