Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNikolai Tillmann
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[c99]Kyungwoo Lee
, Ellis Hoag, Nikolai Tillmann:
Efficient profile-guided size optimization for native mobile applications. CC 2022: 243-253
2010 – 2019
- 2016
- [c98]Sihan Li, Xusheng Xiao, Blake Bassett, Tao Xie, Nikolai Tillmann:
Measuring code behavioral similarity for programming and software engineering education. ICSE (Companion Volume) 2016: 501-510 - [c97]Tao Xie, Nikolai Tillmann, Pratap Lakshman:
Advances in unit testing: theory and practice. ICSE (Companion Volume) 2016: 904-905 - 2015
- [j8]Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal, Tao Xie:
User-aware privacy control via extended static-information-flow analysis. Autom. Softw. Eng. 22(3): 333-366 (2015) - [c96]Tao Xie, Judith Bishop, Nikolai Tillmann, Jonathan de Halleux:
Gamifying software security education and training via secure coding duels in code hunt. HotSoS 2015: 26:1-26:2 - [c95]Tao Xie, Judith Bishop, R. Nigel Horspool, Nikolai Tillmann, Jonathan de Halleux:
Crowdsourcing Code and Process via Code Hunt. CSI-SE 2015: 15-16 - [c94]Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann:
Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment. MOBILESoft 2015: 83-93 - [c93]Judith Bishop, R. Nigel Horspool, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Code Hunt: Experience with Coding Contests at Scale. ICSE (2) 2015: 398-407 - [c92]R. Nigel Horspool, Judith Bishop, Jonathan de Halleux, Nikolai Tillmann:
Experience with constructing code hunt contests. CHESE@ISSTA 2015: 1-4 - [e4]Tao Xie, Alessandro Orso, Judith Bishop, Nikolai Tillmann:
Proceedings of the 1st International Workshop on Code Hunt on Educational Software Engineering, CHESE@ISSTA 2015, Baltimore, MD, USA, July 14, 2015. ACM 2015, ISBN 978-1-4503-3711-3 [contents] - 2014
- [c91]Rafael Auler, Edson Borin, Peli de Halleux, Michal Moskal, Nikolai Tillmann:
Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler. CC 2014: 218-237 - [c90]Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop:
TouchDevelop: create rich mobile apps on touch devices (tutorial). MOBILESoft 2014: 1-2 - [c89]Arno Puder, Nikolai Tillmann, Michal Moskal:
Exposing native device APIs to web apps. MOBILESoft 2014: 18-26 - [c88]Nikolai Tillmann, Judith Bishop, R. Nigel Horspool, Daniel Perelman, Tao Xie:
Code hunt: searching for secret code for fun. SBST 2014: 23-26 - [c87]Michael Hilton, Arpit Christi, Danny Dig, Michal Moskal, Sebastian Burckhardt, Nikolai Tillmann:
Refactoring local to cloud data types for mobile apps. MOBILESoft 2014: 83-92 - [c86]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Constructing coding duels in Pex4Fun and code hunt. ISSTA 2014: 445-448 - [c85]Nikolai Tillmann, Jonathan de Halleux, Tao Xie:
Transferring an automated test generation tool to practice: from pex to fakes and code digger. ASE 2014: 385-396 - [c84]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Code hunt: gamifying teaching and learning of computer science at scale. L@S 2014: 221-222 - [c83]Judith Bishop, Arno Puder, Nikolai Tillmann:
2nd workshop on programming for mobile and touch: PROMOTO 2014. SPLASH (Companion Volume) 2014: 81-82 - [e3]Gordon Fraser, Thomas D. LaToza, Leonardo Mariani, Fabrizio Pastore, Nikolai Tillmann:
Proceedings of the 1st International Workshop on CrowdSourcing in Software Engineering, CSI-SE 2014, Hyderabad, India, June 2, 2014. ACM 2014, ISBN 978-1-4503-2857-9 [contents] - [e2]Martina Seidl, Nikolai Tillmann:
Tests and Proofs - 8th International Conference, TAP@STAF 2014, York, UK, July 24-25, 2014. Proceedings. Lecture Notes in Computer Science 8570, Springer 2014, ISBN 978-3-319-09098-6 [contents] - 2013
- [b1]R. Nigel Horspool, Nikolai Tillmann:
TouchDevelop - Programming on the Go (3. ed.). The expert's voice in mobile technologies, Apress 2013, ISBN 978-1-4302-6136-0, pp. I-XX, 1-250 - [c82]Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Educational software engineering: where software engineering, education, and gaming meet. GAS@ICSE 2013: 36-39 - [c81]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop:
Teaching and learning programming and software engineering via interactive gaming. ICSE 2013: 1117-1126 - [c80]Tuan Anh Nguyen, Christoph Csallner, Nikolai Tillmann:
GROPG: a graphical on-phone debugger. ICSE 2013: 1189-1192 - [c79]Xusheng Xiao, Sihan Li, Tao Xie, Nikolai Tillmann:
Characteristic studies of loop problems for structural test generation via symbolic execution. ASE 2013: 246-256 - [c78]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Pex4Fun: A web-based environment for educational gaming via automated test generation. ASE 2013: 730-733 - [c77]Sebastian Burckhardt, Manuel Fähndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, Jun Kato:
It's alive! continuous feedback in UI programming. PLDI 2013: 95-104 - [c76]Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux:
Generating Test Suites with Augmented Dynamic Symbolic Execution. TAP@STAF 2013: 152-167 - [c75]Sihan Li, Tao Xie, Nikolai Tillmann:
A comprehensive field study of end-user programming on mobile devices. VL/HCC 2013: 43-50 - [i2]Judith Bishop, Nikolai Tillmann, Arno Puder, Vinayak Naik:
PRoMoTo 2013 proceedings. CoRR abs/1309.5500 (2013) - 2012
- [j7]Linghao Zhang, Xiaoxing Ma, Jian Lu, Tao Xie, Nikolai Tillmann, Peli de Halleux:
Environmental Modeling for Automated Cloud Application Testing. IEEE Softw. 29(2): 30-35 (2012) - [c74]Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie:
Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop. CSEE&T 2012: 87-89 - [c73]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Pex4Fun: Teaching and Learning Computer Science via Social Gaming. CSEE&T 2012: 90-91 - [c72]Tuan Anh Nguyen, Sarker T. A. Rumee, Christoph Csallner, Nikolai Tillmann:
An experiment in developing small mobile phone applications comparing on-phone to off-phone development. USER@ICSE 2012: 9-12 - [c71]Barry Burd, João Paulo Barros, Chris Johnson, Stan Kurkovsky, Arnold Rosenbloom, Nikolai Tillmann:
Educating for mobile computing: addressing the new challenges. ITiCSE-WGR 2012: 51-63 - [c70]Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Judith Bishop, Arjmand Samuel, Tao Xie:
The future of teaching programming is on mobile devices. ITiCSE 2012: 156-161 - [c69]Nikolai Tillmann, Judith Bishop:
Teaching programming on a mobile device. ITiCSE 2012: 404 - [c68]Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal:
User-aware privacy control via extended static-information-flow analysis. ASE 2012: 80-89 - [c67]Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux:
Augmented dynamic symbolic execution. ASE 2012: 254-257 - [c66]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Teaching and learning computing via social gaming with Pex4Fun (abstract only). SIGCSE 2012: 659 - [c65]Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie:
Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only). SIGCSE 2012: 663 - [c64]Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Sebastian Burckhardt:
TouchDevelop: app development on mobile devices. SIGSOFT FSE 2012: 39 - [c63]Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens:
State Coverage: Software Validation Metrics beyond Code Coverage. SOFSEM 2012: 542-553 - 2011
- [c62]Nikolai Tillmann, Jonathan de Halleux, Tao Xie:
Pex4Fun: Teaching and learning computer science via social gaming. CSEE&T 2011: 546-548 - [c61]Suresh Thummalapenta, Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Retrofitting Unit Tests for Parameterized Unit Testing. FASE 2011: 294-309 - [c60]Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Precise identification of problems for structural test generation. ICSE 2011: 611-620 - [c59]Xi Ge, Kunal Taneja, Tao Xie, Nikolai Tillmann:
DyTa: dynamic symbolic execution guided with static verification results. ICSE 2011: 992-994 - [c58]Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Covana: precise identification of problems in pex. ICSE 2011: 1004-1006 - [c57]Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser:
Symbolic execution for software testing in practice: preliminary assessment. ICSE 2011: 1066-1071 - [c56]Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
eXpress: guided path exploration for efficient regression test generation. ISSTA 2011: 1-11 - [c55]Michael Philippsen, Nikolai Tillmann, Daniel Brinkers:
Double Inspection for Run-Time Loop Parallelization. LCPC 2011: 46-60 - [c54]Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich:
TouchDevelop: programming cloud-connected mobile devices via touchscreen. Onward! 2011: 49-60 - [c53]Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su:
Synthesizing method sequences for high-coverage testing. OOPSLA 2011: 189-206 - [c52]Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, R. Nigel Horspool, Don Syme, Tao Xie:
Browser-based software for technology transfer. SAICSIT 2011: 338-340 - 2010
- [c51]Wolfram Schulte, Nikolai Tillmann:
Automatic parallelization of programming languages: past, present and future. IWMSE@ICSE 2010: 1 - [c50]Nikolai Tillmann, Jonathan de Halleux, Tao Xie:
Parameterized unit testing: theory and practice. ICSE (2) 2010: 483-484 - [c49]Rahul Pandita, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Guided test generation for coverage criteria. ICSM 2010: 1-10 - [c48]Lingming Zhang, Tao Xie, Lu Zhang, Nikolai Tillmann, Jonathan de Halleux, Hong Mei:
Test generation via Dynamic Symbolic Execution for mutation testing. ICSM 2010: 1-10 - [c47]Margus Veanes, Peli de Halleux, Nikolai Tillmann:
Rex: Symbolic Regular Expression Explorer. ICST 2010: 498-507 - [c46]Kunal Taneja, Nuo Li, Madhuri R. Marri, Tao Xie, Nikolai Tillmann:
MiTV: multiple-implementation testing of user-input validators for web applications. ASE 2010: 131-134 - [c45]Margus Veanes, Nikolai Tillmann, Jonathan de Halleux:
Qex: Symbolic SQL Query Explorer. LPAR (Dakar) 2010: 425-446 - [c44]Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte:
Teaching and training developer-testing techniques and tool support. SPLASH/OOPSLA Companion 2010: 175-182 - [c43]Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter:
SPUR: a trace-based JIT compiler for CIL. OOPSLA 2010: 708-725 - [c42]Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux:
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. ICTSS 2010: 142-157 - [c41]Michael W. Whalen, Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser:
FITE: future integrated testing environment. FoSER 2010: 401-406 - [c40]Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Future of developer testing: building quality in code. FoSER 2010: 415-420 - [c39]Suresh Thummalapenta, Jonathan de Halleux, Nikolai Tillmann, Scott Wadsworth:
DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces. TAP@TOOLS 2010: 77-93 - [c38]Jonathan de Halleux, Nikolai Tillmann:
Moles: Tool-Assisted Environment Isolation with Closures. TOOLS (48) 2010: 253-270 - [e1]Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann:
Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Lecture Notes in Computer Science 6418, Springer 2010, ISBN 978-3-642-16611-2 [contents] - [i1]Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser, Michael W. Whalen:
FITE - Future Integrated Testing Environment. Practical Software Testing: Tool Automation and Human Factors 2010
2000 – 2009
- 2009
- [c37]Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Fitness-guided path exploration in dynamic symbolic execution. DSN 2009: 359-368 - [c36]Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann:
Symbolic Query Exploration. ICFEM 2009: 49-68 - [c35]Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
An Empirical Study of Testing File-System-Dependent Software with Mock Objects. AST 2009: 149-153 - [c34]Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Guided path exploration for regression test generation. ICSE Companion 2009: 311-314 - [c33]Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann:
Exploiting the synergy between automated-test-generation and programming-by-contract. ICSE Companion 2009: 401-402 - [c32]Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Mutation Analysis of Parameterized Unit Tests. ICST Workshops 2009: 177-181 - [c31]Soonho Kong, Nikolai Tillmann, Jonathan de Halleux:
Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex. ITNG 2009: 758-762 - [c30]Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. ASE 2009: 515-519 - [c29]Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
MSeqGen: object-oriented unit-test generation via mining source code. ESEC/SIGSOFT FSE 2009: 193-202 - [c28]Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens:
Test Input Generation for Programs with Pointers. TACAS 2009: 277-291 - [c27]Nikolaj S. Bjørner, Nikolai Tillmann, Andrei Voronkov:
Path Feasibility Analysis for String-Manipulating Programs. TACAS 2009: 307-321 - 2008
- [j6]Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin:
Automating Software Testing Using Program Analysis. IEEE Softw. 25(5): 30-37 (2008) - [c26]Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson:
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. Formal Methods and Testing 2008: 39-76 - [c25]Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis:
DySy: dynamic symbolic execution for invariant inference. ICSE 2008: 281-290 - [c24]Nikolai Tillmann, Jonathan de Halleux:
White-box testing of behavioral web service contracts with Pex. TAV-WEB 2008: 47-48 - [c23]Dries Vanoverberghe, Nikolaj S. Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann:
Using Dynamic Symbolic Execution to Improve Deductive Verification. SPIN 2008: 9-25 - [c22]Saswat Anand, Patrice Godefroid, Nikolai Tillmann:
Demand-Driven Compositional Symbolic Execution. TACAS 2008: 367-381 - [c21]Nikolai Tillmann, Jonathan de Halleux:
Pex-White Box Test Generation for .NET. TAP 2008: 134-153 - [c20]Jonathan de Halleux, Nikolai Tillmann:
Parameterized Unit Testing with Pex. TAP 2008: 171-181 - 2007
- [c19]Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman:
Achieving both model and code coverage with automated gray-box testing. A-MOST 2007: 1-11 - [c18]Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Parameterized Unit Testing with Pex: Tutorial. PSSE 2007: 141-202 - 2006
- [j5]Wolfgang Grieskamp, Nicolas Kicillof, Nikolai Tillmann:
Action Machines: a Framework for Encoding and Composing Partial Behaviors. Int. J. Softw. Eng. Knowl. Eng. 16(5): 705-726 (2006) - [j4]Nikolai Tillmann, Wolfram Schulte:
Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution. IEEE Softw. 23(4): 38-47 (2006) - [c17]Nikolai Tillmann, Feng Chen, Wolfram Schulte:
Discovering Likely Method Specifications. ICFEM 2006: 717-736 - [c16]Nikolai Tillmann, Wolfram Schulte:
Mock-object generation with behavior. ASE 2006: 365-368 - 2005
- [j3]Yuri Gurevich, Nikolai Tillmann:
Partial updates. Theor. Comput. Sci. 336(2-3): 311-342 (2005) - [c15]Ana C. R. Paiva, Nikolai Tillmann, João C. P. Faria, Raul F. A. M. Vidal:
Modeling and Testing Hierarchical GUIs. Abstract State Machines 2005: 329-344 - [c14]Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes:
Testing Concurrent Object-Oriented Systems with Spec Explorer. FM 2005: 542-547 - [c13]Ana C. R. Paiva, João C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal:
A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing. ICFEM 2005: 450-464 - [c12]Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes:
Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation. QSIC 2005: 72-82 - [c11]Nikolai Tillmann, Wolfram Schulte:
Parameterized unit tests with unit meister. ESEC/SIGSOFT FSE 2005: 241-244 - [c10]Nikolai Tillmann, Wolfram Schulte:
Parameterized unit tests. ESEC/SIGSOFT FSE 2005: 253-262 - [c9]Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann:
Online testing with model programs. ESEC/SIGSOFT FSE 2005: 273-282 - [c8]Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte:
XRT- Exploring Runtime for .NET Architecture and Applications. SoftMC@CAV 2005: 3-26 - 2004
- [j2]Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes:
Instrumenting scenarios in a model-driven development environment. Inf. Softw. Technol. 46(15): 1027-1036 (2004) - [c7]Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp:
Optimal strategies for testing nondeterministic systems. ISSTA 2004: 55-64 - 2003
- [c6]Yuri Gurevich, Nikolai Tillmann:
Partial Updates Exploration II. Abstract State Machines 2003: 57-86 - [c5]Michael Barnett, Wolfram Schulte, Nikolai Tillmann:
Using AsmL for Runtime Verification. Abstract State Machines 2003: 407 - [c4]Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes:
Test Case Generation from AsmL Specifications. Abstract State Machines 2003: 413 - [c3]Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes:
Towards a Tool Environment for Model-Based Testing with AsmL. FATES 2003: 252-266 - [c2]Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes:
Validating Use-Cases with the AsmL Test Tool. QSIC 2003: 238-246 - 2001
- [j1]Yuri Gurevich, Nikolai Tillmann:
Partial Updates: Exploration. J. Univers. Comput. Sci. 7(11): 917-951 (2001) - [c1]Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann:
Testable Use Cases in the Abstract State Machine Language. APAQS 2001: 167-172
Coauthor Index
Jonathan de Halleux
aka: Peli de Halleux
aka: Peli de Halleux
[j8] [c96] [c95] [c94] [c93] [c92] [c91] [c90] [c86] [c85] [c84] [c82] [c81] [c78] [c77] [c76] [j7] [c74] [c73] [c70] [c68] [c67] [c66] [c65] [c64] [c63] [c62] [c61] [c60] [c58] [c56] [c54] [c53] [c52] [c50] [c49] [c48] [c47] [c45] [c44] [c42] [c40] [c39] [c38] [c37] [c36] [c35] [c34] [c33] [c32] [c31] [c30] [c29] [j6] [c24] [c23] [c21] [c20] [c18]