Our Software in the World
Many automated software engineering tools listed here are open-source, some have been used in the industry, and still state-of-the-art.
Others are prototypes, for fun or for good. Please join me if you are interested to be our apprentice or our mentor!
Just drop me an email let's see.
- arevol - assessing architectural evolution (datasets)
- Built on CrocoPat, the AWK scripts support empirical studies of long-term evolution of software architecture. See
- Paixao, Matheus; Harman, Mark; Zhang, Yuanyuan and Yu, Yijun (2017). An Empirical Study of Cohesion and Coupling: Balancing Optimisation and Disruption. IEEE Transactions on Evolutionary Computation (In press).
- Wermelinger, Michel; Yu, Yijun; Lozano, Angela and Capiluppi, Andrea (2011). Assessing architectural evolution: a case study. Empirical Software Engineering, 16(5), pp. 623–666.
- blinkit - invariant traceability through bidirectional transformations
- Built-on EMF framework, and the GRoundTram bidirectional transformation tool, we only need to look at 10% of co-evolving code changes for model-driven software systems (e.g., GMF). See
- Yu, Yijun; Lin, Yu; Hu, Zhenjiang; Hidaka, Soichiro; Hiroyuki, Kato and Montrieux, Lionel (2012). Maintaining invariant traceability through bidirectional transformations. In: 34th International Conference on Software Engineering, 2-9 June 2012, Zurich, Switzerland.
- Cedar Studio - for adaptive user interfaces
- Cedar Studio and associated service-oriented adaptive user interfaces framework
make it as simple as writing 6 lines of code to completely repurpose the GUI of Apache
OfBiz Enterprise Software. See
- Akiki, Pierre A.; Bandara, Arosha K. and Yu, Yijun (2016). Engineering Adaptive Model-Driven User Interfaces. IEEE Transactions on Software Engineering, 42(12), pp. 1118–1147.
- Akiki, Pierre A.; Bandara, Arosha K. and Yu, Yijun (2014). Integrating adaptive user interface capabilities in enterprise applications. In: 36th International Conference on Software Engineering (ICSE 2014), 31 May-7 June, 2014, Hyderabad, India.
- ConCodeSE -- High-Performance Bug Localisation Tool
- Built on Java 1.7 parser and INTT tokenizer, ConCodeSe supports better localization of bugs in Java programs, with state-of-the-art performance using simple heuristics. See
- Dilshener, Tezcan; Wermelinger, Michel and Yu, Yijun (2016). Locating Bugs without Looking Back. In: Mining Software Repository, May 14–15, 2016, Austin, TX, USA.
- FICS -- Feature-driven medIation for Collaborative Security
- Built on TVL feature modeling language and Choco model checker, the feature-driven mediation is able to compose the components of variable features to protect security properties collaboratively. See
- Bennaceur, Amel; Bandara, Arosha; Jackson, Michael; Liu, Wei; Montrieux, Lionel; Tun, Thein; Yu, Yijun and Nuseibeh, Bashar (2014). Requirements-driven mediation for collaborative security. In: SEAMS'14 - The 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2-3 June 2014, Hyderabad.
- fast -- Flattening Abstract Syntax Trees for High Performance Parsing
- Built on SrcML, Protobuf, and FlatBuffers, fast can speed up the reparsing of Java/C/C++/C#/Objective C programs by up to 70 times.
- GBTP -- Great Britain Teleport Plugin for Minecraft Servers
- Built on Ordnance Survey's Minecraft Map of United Kingdom, the GBTP allows UK Minecraft players to locate their home by
entering the postal code. Perfect for UK Schools teaching Geography.
- intt -- Identifier Name Tokenisation Tool
- Tokenizer identifiers with 90%+ accuracy. See
- Butler, Simon; Wermelinger, Michel; Yu, Yijun and Sharp, Helen (2011). Improving the tokenisation of identifier names. In: ECOOP 2011 – Object-Oriented Programming (Mira, Mezini ed.), Lecture Notes in Computer Science, Springer Verlag, pp. 130–154.
- mct -- Meaningful Changes deTection tool (github)
- Built on James Cordy's TXL and its clone detector, mct can discard 90% of changes irrelevant to any programmers' viewpoints. See
- Yu, Yijun; Tun, Thein and Nuseibeh, Bashar (2011). Specifying and detecting meaningful changes in programs. In: 26th IEEE/ACM International Conference On Automated Software Engineering, 6-10 Nov 2011, Lawrence, Kansas, USA.
- Miki -- The Modeling Wiki
- Built on Xtext and GMF editors, miki can support flexible modeling by Wiki macros that render UML models on the Web without downloading Eclipse. See
- Yu, Yijun; Petre, Marian and Tun, Thein Than (2011). Miki: a wiki for synchronous modeling of software requirements. In: 4th FlexiTools workshop @ ICSE 2011, 22 May 2011, Waikiki, Honolulu, Hawaii.
- nominal -- Naming Conventions Check for Java Programs
- Built on Java 1.7 parser, Gosling's naming conventions can be checked efficiently. See
- Butler, Simon; Wermelinger, Michel and Yu, Yijun (2015). Investigating naming convention adherence in Java references. In: 31st International Conference on Software Maintenance and Evolution (ICSME2015), 29 September - 1 October 2015, Bremen, Germany.
- OpenArgue - tool support for security/privacy arguments
- Built on OpenPF and Lucene, OpenArgue supports the Risk and Argument approach to check whether security risks in domains e.g., Air Traffic Control are sufficiently mitigated. See
- Yu, Yijun; Franqueira, Virginia N. L.; Tun, Thein; Wieringa, Roel J. and Nuseibeh, Bashar (2015). Automated analysis of security requirements through risk-based argumentation. Journal of Systems and Software, 106 pp. 102–116.
- OpenPF - Program Frames tool support
- Built on Eclipse EMF, GMF, Xtext frameworks, OpenPF supports the modelling of Problem (Context) Diagrams in Problem Frames method. See
- Yu, Yijun; Tun, Thein; Tedeschi, Alessandra; Franqueira, Virginia N. L. and Nuseibeh, Bashar (2011). OpenArgue: supporting argumentation to evolve secure software systems. In: 19th IEEE International Requirements Engineering Conference, 29 Aug - 02 Sep 2011.
- OpenOME - i* tool support
- Built on Eclipse EMF, GMF, Protege, OpenOME supports the modelling of i* method in agent-oriented business process and requirements modelling. See
- Jennifer Horkoff, Yijun Yu, Eric Yu. OpenOME: An Open-source Goal and Agent-Oriented Model Drawing and Analysis Tool. The 5th i* workshop, City University of London. 2011.
- Alexei Lapouchnian, Yijun Yu, Sotirios Liaskos, John Mylopoulos: Requirements-driven design of autonomic application software. CASCON 2016: 23-37.
- Alexei Lapouchnian, Yijun Yu, John Mylopoulos: Requirements-Driven Design and Configuration Management of Business Processes. BPM 2007: 246-261.
- PokeMon Compass - A React-Native Mobile App for Locating Pokemons
- Built using React Native and ClojureScript, the Mobile App can run on both iOS and Android devices to locate Pokemon using GPS locations. See
- Yijun Yu and Kelvin Yu. "Tips for Locating Pokemons", http://mcs.open.ac.uk/yy66/index.php?page=blog/2016-12-25
- rbacUML -- Role-Based Access Control annotations to UML
- Built using IBM Rational Software Modelling tool and OCL, rbacUML is a UML profile and toolkit to verify the satisfication of RBAC standard compliance on UML models. See
- Montrieux, Lionel; Yu, Yijun and Wermelinger, Michel (2013). Developing a domain-specific plug-in for a modelling platform: the good, the bad, the ugly. In: 3rd Workshop on Developing Tools as Plug-ins, 21 May 2013, San Francisco.
- Montrieux, Lionel; Yu, Yijun; Wermelinger, Michel and Hu, Zhenjiang (2013). Issues in representing domain-specific concerns in model-driven engineering. In: Workshop on Modeling in Software Engineering @ ICSE 2013, 18-19 May 2013, San Francisco.
- Risk Explorer on Abstract Goal Behaviour Models
- Built on PRISM, MRMC tool, and YACAS, riskexplore minimises security risks on MRMC models.
- SecMER -- SecureChange Model Evolution support for Requirements
- Built on Secure Tropos, OpenArgue, and Viatra2, SecMER detects and fixes evolving change patterns on evolving security requirements. See
- Bergmann, Gábor; Massacci, Fabio; Paci, Federica; Tun, Thein; Varró, Dániel and Yu, Yijun (2011). SeCMER: a tool to gain control of security requirements Evolution. In: ServiceWave 2011, 26-28 Oct 2011, Poznan, Poland.
- Social-Lift -- Verifiable Limited Disclosure of Social Media
Provide citizens a chance to redact irrelevant personal information while reporting to UK police the witnessed forensic evidence of cyber crimes on social media. See
- Tun, Thein; Price, Blaine; Bandara, Arosha; Yu, Yijun and Nuseibeh, Bashar (2016). Verifiable Limited Disclosure: Reporting and Handling Digital Evidence in Police Investigations. In: iRENIC: 1st International Workshop on Requirements Engineering for Investigating and Countering Crime, 12th September 2016, Beijing, China.
- Yet Another XML eXtension for GNU Bison
- Turning program code into XML and translate the tags from one natural language to another automatically. See
- Yijun Yu, Jianguo Lu, John Mylopoulos, Weiwei Sun, Jing-Hao Xue, Erik H. D'Hollander: Making XML document markup international. Softw., Pract. Exper. 35(1): 1-14 (2005)
Office: +44 (0) 1908 6 55562