Filters








17 Hits in 4.1 sec

Improved Testing through Refactoring: Experience from the ProTest Project [chapter]

Huiqing Li, Simon Thompson
2010 Lecture Notes in Computer Science  
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems.  ...  The Wrangler tool for Erlang provides support for clone detection and removal, and this has been used effectively both for clarifying test code and in extracting higher-level properties from test suites  ...  Conclusions We have shown the various ways that refactoring tools can improve testing for Erlang programs, and reflected on aspects of each of these.  ... 
doi:10.1007/978-3-642-15585-7_21 fatcat:ioyuh5jxbncrthgvvp4qlhtxo4

Refactoring Support for Modularity Maintenance in Erlang

Huiqing Li, Simon Thompson
2010 2010 10th IEEE Working Conference on Source Code Analysis and Manipulation  
We identify a set of "modularity smells" and show how they can be detected by Wrangler and removed by way of a variety of refactorings implemented in Wrangler.  ...  Validation of the approach and usefulness of the tool are demonstrated by case studies.  ...  Acknowledgements This research is supported by EU FP7 collaborative project ProTest (http://www.protest-project. eu/), grant number 215868; we thank our funders and colleagues for their support and collaboration  ... 
doi:10.1109/scam.2010.17 dblp:conf/scam/LiT10 fatcat:3vf7cz2zafcnjowffocefoxjmi

Safe Concurrency Introduction through Slicing

Huiqing Li, Simon Thompson
2015 Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15  
In this paper, we introduce three novel refactorings for retrofitting concurrency to Erlang applications, and demonstrate how the use of program slicing makes the automation of these refactorings possible  ...  Acknowledgments This research is supported by EU FP7 project RELEASE, grant number 287510, (www.release-project.eu); we thank our funders and colleagues for their support and collaboration.  ...  When implementing a client-server model using Erlang's gen server component, the user needs to define a number of interface functions and callback functions.  ... 
doi:10.1145/2678015.2682533 dblp:conf/pepm/LiT15 fatcat:jswfb3temjc5bpddfgwcfgbhay

Automating property-based testing of evolving web services

Huiqing Li, Simon Thompson, Pablo Lamela Seijas, Miguel Angel Francisco
2014 Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation - PEPM '14  
added to Wrangler, the Erlang refactoring tool.  ...  The framework presented in this paper can be used by both web service providers and consumers, and can be used to test web services written in whatever language; the approach advocated here could also  ...  Section 2 introduces WSDL and the key existing tools used in this framework, and Section 3 introduces how the framework is used in practice in an indus-trial case study.  ... 
doi:10.1145/2543728.2543741 dblp:conf/pepm/LiTSF14 fatcat:xcsttv3pvrdibk63cun3gtrd5e

A Domain-Specific Language for Scripting Refactorings in Erlang [chapter]

Huiqing Li, Simon Thompson
2012 Lecture Notes in Computer Science  
This paper introduces the domain-specific language framework of Wrangler -a refactoring and code inspection tool for Erlang programsthat allows users to script composite refactorings, test them and apply  ...  In particular, there is a lack of powerful and easy-to-use frameworks that allow users to script their own large-scale refactorings efficiently and effectively.  ...  Terminology This section introduces terminology that we use in discussing our DSL. Particularly we explain what we mean by success and failure for a composite refactoring. Definition 1.  ... 
doi:10.1007/978-3-642-28872-2_34 fatcat:fxop3nobv5byfmirrvizbcxrua

Refactoring with wrangler, updated

Huiqing Li, Simon Thompson, George Orösz, Melinda Tóth
2008 Proceedings of the 7th ACM SIGPLAN workshop on ERLANG - ERLANG '08  
This paper reports the latest developments in Wrangler, which include improved user experience, the introduction of a number of data-and process-related refactorings, and also the implementation of an  ...  Wrangler is a refactoring tool for Erlang, implemented in Erlang.  ...  mailing list, and the members of the Eclipse JDT development mailing list for support provided in the port of Wrangler to Eclipse.  ... 
doi:10.1145/1411273.1411283 dblp:conf/erlang/LiTOT08 fatcat:7eonmbfxcndslalho4cg6ijnpi

DIEL: Interactive Visualization Beyond the Here and Now [article]

Yifan Wu, Remco Chang, Joseph Hellerstein, Arvind Satyanarayan, Eugene Wu
2021 arXiv   pre-print
To specify the state of a user interface at any time, developers author declarative queries over the data and event logs; DIEL compiles and optimizes a corresponding dataflow graph, and synthesizes necessary  ...  However, for more complex use cases---e.g., remote database access and streaming data sources---developers must grapple with distributed data and asynchronous events.  ...  The work is supported by NSF 1564049, 1564351, 1942659, 1845638, 2106197, 1452977, 1939945, 1940175 , and CCF-1730628.  ... 
arXiv:1907.00062v2 fatcat:eifz2srnxrbd7awqjzin7qvcee

From test cases to FSMs

Thomas Arts, Simon Thompson
2010 Proceedings of the 9th ACM SIGPLAN workshop on Erlang - Erlang '10  
This has the effect of transforming a fixed set of tests into a property which can be tested using randomly generated data, substantially widening the coverage and scope of the tests.  ...  Secondly, we use FSM inference to develop QuickCheck properties for testing state-based systems.  ...  The next step for us to take is to refine the process described here into a procedure which automates as much as possible of the FSM development.  ... 
doi:10.1145/1863509.1863511 dblp:conf/erlang/ArtsT10 fatcat:qjpqqnqzdvg73koyg6znjnfwki

Testing Erlang Refactorings with QuickCheck [chapter]

Huiqing Li, Simon Thompson
Lecture Notes in Computer Science  
This paper first gives overviews of Wrangler and Quviq QuickCheck, then discusses the various ways in which refactorings can be validated, and finally shows how QuickCheck can be used to test the correctness  ...  With QuickCheck, programs are tested by writing properties in a restricted logic, and using the tool these properties are tested in randomly generated test cases.  ...  We also intend to provide an API to help the specification of properties in the context of refactorings, and we would also like to adopt this approach to test our Haskell refactoring tool, HaRe.  ... 
doi:10.1007/978-3-540-85373-2_2 fatcat:xxjl7ykfyzcwxbawyyj5gy5chq

Lyra 2: Designing Interactive Visualizations by Demonstration [article]

Jonathan Zong, Dhiraj Barnwal, Rupayan Neogy, Arvind Satyanarayan
2020 arXiv   pre-print
The system interprets this performance using a set of heuristics, and produces suggestions of possible interaction designs.  ...  We demonstrate its expressive extent with a gallery of diverse examples, and evaluate its usability through a first-use study and via an analysis of its cognitive dimensions.  ...  Adam White and Sue Lockwood who led the work. This project was supported by the Paul and Daisy Soros Fellowship and NSF Award #1942659.  ... 
arXiv:2008.09576v2 fatcat:n5ghleukf5ezfb3mpsafrr4dwy

3D Modeling and Simulation using Image Stitching

Sean N.Braganza, Shubham R.Langer, Sushant R. Gaikwad, Pallavi G. Bhoite
2015 International Journal of Computer Applications  
to be a complex and tedious process which involves the use of various high-end devices such as 3D scanners which in turn require great expertise while working with them.A series of algorithms and several  ...  This paper introduces a cost-effective modeling method for the same which is least complex, user friendly and involves the concept of Image Stitching and 3D graphics rendering software while also allowing  ...  The application is programmed to accept user input via the arrow keys and mouse through the use of specific callback functions.  ... 
doi:10.5120/20246-2608 fatcat:b2emhcqb6ngmhedaxxioqezyyq

Software systems for supporting scientific campaigns on high performance and distributed computing resources

Ioannis Paraskevakos
2021
However, implementing MapReduce on HPC resources is non-trivial and requires the use of additional abstractions. We utilize the Pilot abstraction as an integrating concept between HPC and MapReduce.  ...  MapReduce is one of the most successfully abstraction used to execute data-intensive workflows at scale on cloud resources.  ...  A prototype allows us to identify the most important components and functionalities to support our use cases.  ... 
doi:10.7282/t3-n11z-ss38 fatcat:tyw4zvnh5zao3oij32v7yyvq44

Adat és kiértékelési függőségi elemzés funkcionális nyelvekre-Erlang programok statikus elemzése

Melinda Tóth, Zoltán Horváth
2018
The introduced methods cover the data-, control-, behaviour-flow and dependency analyses for sequential and parallel language constructs.  ...  Static software analyser tools use different levels of intermediate source code representations that depend on the syntax and semantics of the language to be analysed.  ...  Acknowledgement We would like to thank for the related ideas and work of the members of the RefactorErl group.  ... 
doi:10.15476/elte.2018.171 fatcat:qhzdniawm5f4dnqavchu5edh5y

Erlang programok statikus elemzése és szeletelése

István Bozó, Zoltán Horváth
2018
We want to make the presented algorithms more efficient and more precise based on the result of the control-flow analysis and by adding background knowledge about the Erlang/OTP.  ...  The model contains the most important relations between processes, i.e. process hierarchy, communication through message passing, and hidden relations generated by ETS usage.  ...  We use the ModuleName:FunctionName/Arity triple to identify the process p, and if p is registered we also use its name.  ... 
doi:10.15476/elte.2018.169 fatcat:z5ym3wvu3vh75j3ykl2ygllhym

A Spreadsheet Model for Using Web Services and Creating Data-Driven Applications

Kerry Shih-Ping Chang
2018
services, creating interactive GUI applications that use web data sources, using hierarchical data, and using live streaming data.  ...  Gneiss contributes innovations in spreadsheet languages, spreadsheet user interfaces and interaction techniques to allow programming tasks that currently require writing complex, lengthy code to instead  ...  Brad taught me how to do research and showed me how fun and exciting it could be.  ... 
doi:10.1184/r1/6714389.v1 fatcat:dlrvupnocjda3lp7bqjarigedy
« Previous Showing results 1 — 15 out of 17 results