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.
    
• BiTBCNN - Bilateral Tree-Based Convolutional Neural Networks for Cross-Language Program Classifications
  • Built-on Tensorflow, the program classification tool can classify algorithms implemented in different main-stream program languages for better than 90% precision. See
    - Bui, Nghi D. Q.; Jiang, Lingxiao and Yu, Yijun (2018). Cross-Language Learning for Program Classification using Bilateral Tree-Based Convolutional Neural Networks. In: Workshop on NLP for Software Engineering, 2-7 February 2018, New Orleans, LA.
• 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 (Docker image)
  • 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)

---

Email: y.yu@open.ac.uk Office: +44 (0) 1908 6 55562