id
name
related bits
0
processing priority
3
site type
0 (generic, awaiting analysis)
review version
11
html import
20 (imported)
first seen date
2024-02-13 08:12:21
expired found date
-
created at
2024-05-31 15:14:16
updated at
2025-12-25 21:53:34
length
11
crc
18778
tld
3014
nm parts
0
nm random digits
0
nm rare letters
0
is subdomain of id
-
previous id
0
replaced with id
0
related id
-
dns primary id
dns alternative id
0
lifecycle status
0 (unclassified, or currently active)
deleted subdomains
0
page imported products
0
page imported random
0
page imported parking
0
count skipped due to recent timeouts on the same server IP
0
count content received but rejected due to 11-799
0
count dns errors
0
count cert errors
0
count timeouts
0
count http 429
0
count http 404
0
count http 403
0
count http 5xx
0
next operation date
-
server bits
—
server ip
-
mp import status
20
mp rejected date
-
mp saved date
-
mp size orig
23861
mp size raw text
3045
mp inner links count
2
mp inner links status
20 (imported)
title
description
image
site name
author
updated
2025-12-12 20:14:12
raw text
计算理论与技术研究所（广州） ICTT介绍页面 - htmlpage.cn 首页 团队成员 科研成果 新闻动态 联系我们 Quote Menu 西安电子科技大学广州研究院 计算理论与技术研究所（广州） I nstitute of C omputing T heory and T echnology (Guangzhou), ICTT (GZ) 软件工程，精益求精。 人工智能，创新引领。 可信技术，保障安全。 产教融合，智慧未来。 Quote Introduction 团队介绍 我们的研究团队隶属于西安电子科技大学广州研究院，是由校本部计算理论与技术研究所（Institute of Computing Theory and Technology, ICTT）原班核心成员建立和发展起来的，由田聪教授担任团队负责人，秦教授担任顾问及指导，小组核心成员由 2 名广研院全职教师、 4 名西电本部兼职教师、 7 名硕士研究生组成。实验室于2023年6月创建，并拟命名为计算理论与技术研究所（广州），即ICTT（广州），以“保障大规模软件质量和可信性”为使命，重点关注人工智能、应用软件、工控系统等领域的软件质量和可信性，致力于科研创新，利用大语言模型、形式化验证、模糊测试、静态分析与符号执行等技术，进行软件的测试与验证，以及软件缺陷的自动挖掘与理解，实现大规模软件系统的质量评估。 Our Team 师资队伍 田聪 教授 秦老师 教授 文成 准聘副教授（讲师） 苏杰 博士后 于斌 准聘副教授（讲师） 马智 准聘副教授（讲师） 陆旭 副教授 Our Research 研究方向 背景 ：软件已成为国民经济、国防建设和人民生活基础设施的核心，“软件定义一切”、“软件使能一切”已然成为一种客观需求，并呈现快速发展态势。然而，软件的可信性令人担忧。特别是在芯片设计、航空航天、无人驾驶等安全攸关基础软件领域，微小的程序缺陷都可能导致机毁人亡的严重后果。因此，我们的研究团队一直致力于从事可信软件基础理论研究与自主可控软件测试验证平台建设。由于计算机软件的蓬勃发展离不开其坚实的理论基础和不断拓展的前沿技术应用，我们团队一方面长期坚持软件的基础理论研究，包括形式化方法、程...
redirect type
0 (-)
block type
0 (no issues)
detected language
126 (language undetectable (empty document, too short, or engines disagree))
category id
index version
2025110801
spam phrases
0
text nonlatin
2167
text cyrillic
0
text characters
2532
text words
290
text unique words
257
text lines
80
text sentences
1
text paragraphs
6
text words per sentence
255
text matched phrases
2
text matched dictionaries
2
links self subdomains
0
links other subdomains
links other domains
1 - xidian.edu.cn
links spam adult
0
links spam random
0
links spam expired
0
links ext activities
0
links ext ecommerce
0
links ext finance
0
links ext crypto
0
links ext booking
0
links ext news
0
links ext leaks
0
links ext ugc
1
links ext klim
0
links ext generic
0
dol status
0
dol updated
2025-12-12 20:14:12
rss path
rss status
3 (priority 3 already searched, no matches found)
rss found date
-
rss size orig
0
rss items
0
rss spam phrases
0
rss detected language
0 (awaiting analysis)
inbefore feed id
-
inbefore status
0 (new)
sitemap path
sitemap status
1 (priority 1 already searched, no matches found)
sitemap review version
1
sitemap urls count
0
sitemap urls adult
0
sitemap filtered products
0
sitemap filtered videos
0
sitemap found date
-
sitemap process date
2024-07-02 18:31:38
sitemap first import date
-
sitemap last import date
-